use crate::algebra::curve::AffinePoint;

pub const G_CONSTS_BITS: usize = 4;

#[rustfmt::skip]
pub const G_CONSTS: [AffinePoint; 945] = [
    AffinePoint::from_raw(
        [14484022957141291997,5884444832209845738,299981207024966779,232005955912912577],
        [6241159653446987914,664812301889158119,18147424675297964973,405578048423154473]
    ),
    AffinePoint::from_raw(
        [16579338270530197941,14871336892951089215,3671963027188217691,303614983685290334],
        [4730811233056735121,17303316361454032079,7329634750254030090,393536509256096095]
    ),
    AffinePoint::from_raw(
        [9677368674205009747,1237185810904996813,10570686728730285751,68251857589430300],
        [12568601912800526317,2334096892141389936,7992790409806204213,72186196818065199]
    ),
    AffinePoint::from_raw(
        [15510977573776195642,342058344322715380,18175319704875795184,461563964092740434],
        [837277918279344478,13921264321821506639,2607112507073636825,356418544596184868]
    ),
    AffinePoint::from_raw(
        [14550844478841523218,14152762116707184343,12054410108623211959,564726373564327764],
        [11313128866029454968,16167986460935886791,12066367539283504103,423465839745817657]
    ),
    AffinePoint::from_raw(
        [8585059897164389195,18322736686226862052,1757761543826479530,247679696304730207],
        [2568478654999560335,2189655547166603481,10582989650875013395,241384328473666135]
    ),
    AffinePoint::from_raw(
        [18314287663079747553,10765181956341573402,3056257135917482053,22466741598355071],
        [5201639516252809995,16730885320340175404,8925941304673297733,459269933134230963]
    ),
    AffinePoint::from_raw(
        [4537430410809690294,4312539867968831430,5951578249055313305,44325964577998272],
        [12436590524276347150,13719681688707294951,8955254978494043657,107769073593491341]
    ),
    AffinePoint::from_raw(
        [11758056215436656110,13258877747076026605,14370839043115725425,227010745623372116],
        [2113182043286512023,884261567367006214,5331083166672242479,83714354471123887]
    ),
    AffinePoint::from_raw(
        [6062882294265901082,12363752716905130716,13116534112538980125,163482794955359394],
        [7834707731288738711,12145958385436547526,1780590365614972090,308460128171832119]
    ),
    AffinePoint::from_raw(
        [2085280871957356947,2833269294817993408,3353144859724974613,205155699240495231],
        [17218151418091770270,14313667577140418353,18120607609254994296,549425931036984613]
    ),
    AffinePoint::from_raw(
        [2001015643960997631,8618695365292802916,3488040257942910830,272121293873216510],
        [3538975966858820526,3710574875328665750,8935418054795640242,140137135891542689]
    ),
    AffinePoint::from_raw(
        [16084342420913107612,14231725055872876064,7035663859395697231,523651523986885569],
        [5535249102172152176,11883135917893183553,8542913763622989615,370952678939125447]
    ),
    AffinePoint::from_raw(
        [8102969304050513089,6463507241502019991,1796629974456065821,144881991297294960],
        [6541044434718430615,2173463551859527221,14066228855301393910,514250582454136223]
    ),
    AffinePoint::from_raw(
        [7378642468159207072,5423320147004054072,8960730781825632146,245523795392601813],
        [11090425537141152147,16343804802507898012,1969332036787809610,103205111244308614]
    ),
    AffinePoint::from_raw(
        [6578024514721326817,16796830107718839207,8040355453926651947,87512912161126893],
        [11245589741612304468,17117238346756941976,5367266861909171862,229041149008149913]
    ),
    AffinePoint::from_raw(
        [2219262817561846193,17966208160587709399,8316528800341668450,551691389865599853],
        [11828613813027228506,1455629968968781960,10635800400405609553,83153113554582284]
    ),
    AffinePoint::from_raw(
        [6770998536270085112,1166056239477959567,12422300461439116362,259533762449402957],
        [1964902759990309914,12689012985529669161,14982512511440106405,199979590421640476]
    ),
    AffinePoint::from_raw(
        [2620290557253106862,5496631839637218523,4321575912679484535,113835741899952801],
        [6801581843860286448,13320381884065528341,13094113147231150227,283706113678386985]
    ),
    AffinePoint::from_raw(
        [18354366871179091457,17731891925969770534,926776607051226704,482466946837540597],
        [10818834172761300503,17594520648147724803,10544056012932459204,210241688126112515]
    ),
    AffinePoint::from_raw(
        [1220867593289296444,12442015982527814812,8453149391720812030,462527138512575318],
        [1643347982263582544,5004864998151481359,755673356711591756,160362716316883809]
    ),
    AffinePoint::from_raw(
        [4708303647879185881,18106223661048721721,8004870735884988357,80003435578612420],
        [13716282051464590529,5484445967022044449,7589485097291665496,61342301190288409]
    ),
    AffinePoint::from_raw(
        [15039419904228099602,9049393860285531814,16406050708172196064,250056459631063666],
        [16160123229559086480,4015124757363458155,12967617341010950338,285140373543844889]
    ),
    AffinePoint::from_raw(
        [14889041693940765320,9863695056216274326,13334461556602123591,481902486695139429],
        [9986234830392469222,12225501140302064474,2622338855582139484,281219360964071580]
    ),
    AffinePoint::from_raw(
        [6460022956906468617,1632394252395205472,2176556520563595064,488784192511044181],
        [18281730128062819868,17430284730801502763,791211983645392420,380035782899604290]
    ),
    AffinePoint::from_raw(
        [10674952690306396525,4680299331753962521,9235823749643677723,278151762967843113],
        [142906588359769186,11631025784277992471,7754652656198145462,56426271800708272]
    ),
    AffinePoint::from_raw(
        [1269691326258240092,17303170525171254454,10007807158510812991,527989405955175771],
        [6985740461300848147,4279125166931394758,4587996315187673132,520232147219032758]
    ),
    AffinePoint::from_raw(
        [14388344969287632484,7653063603744884603,4237599633969525784,326819872537576629],
        [9277361369507150994,1487757453390957184,6353209191162540484,231815732939017856]
    ),
    AffinePoint::from_raw(
        [16151279787921277116,12153695376001379443,2963241055510662622,34886249612268668],
        [4671325325164191269,11581072297652418845,13572061852399211721,525113651618196672]
    ),
    AffinePoint::from_raw(
        [2066997431538410654,16593361172665398986,7009150358644083759,405259040373260051],
        [17808950866341270746,10943041804256374154,8749455831109198632,461809272862976460]
    ),
    AffinePoint::from_raw(
        [3118506173348667808,9982285978106075324,2361347036578222753,338220182262900178],
        [11326046062117333225,1337160963122577888,9100824856569524398,441850088077328718]
    ),
    AffinePoint::from_raw(
        [6743216969610750811,2495806942793881690,16617132275137794573,313492181399044096],
        [6297069101479141990,4941114424355890922,15187626136402321147,70818680345624693]
    ),
    AffinePoint::from_raw(
        [17589954825329270098,10468770746139277953,13479345371737884189,344399840355497814],
        [17353856287178265018,11422096261393157200,6441540651322598889,369581799451407142]
    ),
    AffinePoint::from_raw(
        [16023259619713933260,1765110018735368086,14608758486024434728,375905249193393537],
        [17494342133869371791,8973968174509533323,5372581166891478760,277677448377100710]
    ),
    AffinePoint::from_raw(
        [10673878797334790059,15495567879155951593,2228234985480916840,453997301903884230],
        [15034635710485003843,4312061983840419452,9341979844571686724,353678843273956250]
    ),
    AffinePoint::from_raw(
        [5858787691607800827,4327352441367444244,17950981108745055456,124364773162705235],
        [11609915806202494166,3577052452807530807,15975150531097826613,92990765773794573]
    ),
    AffinePoint::from_raw(
        [3050146097859112016,17784727954147656267,9153706964395697696,451602679669819717],
        [7651552818785154443,4315992991546432182,13715097186645898148,526898801001806798]
    ),
    AffinePoint::from_raw(
        [4391402210904807387,4855049601854273418,3344231124045825229,119987348540874242],
        [15440360456667180695,16628744461288526333,13110863648062434557,283391750202749432]
    ),
    AffinePoint::from_raw(
        [12939910126294961645,16154700244305804326,2773978576272030321,471223273128924789],
        [3651112805793672318,14012069023152886959,516133230531224137,380242472476681434]
    ),
    AffinePoint::from_raw(
        [2196963251562867924,2908860285073921712,3646086334651723037,46829891044021343],
        [17414909729024901105,3018341013073987860,3794849814997413657,1144546633762489]
    ),
    AffinePoint::from_raw(
        [13548149519544647853,11872680626792642626,14761342747808084860,487241759836007511],
        [3120235941991376084,7356103451399779284,3289099031950156756,495576666904204217]
    ),
    AffinePoint::from_raw(
        [11759003551663880510,8398162646351079632,2866065747342761555,409324148810492629],
        [1733643807269142,17912791631027214285,7670380656575891590,124419794453986055]
    ),
    AffinePoint::from_raw(
        [18110647038419252340,1824231918299217919,7051054736175194670,457126445453483232],
        [521112746346744611,14731441736155112187,101350898182196165,67480880596531671]
    ),
    AffinePoint::from_raw(
        [18384873408979035804,835054850137864484,11822258204578253532,330284893078544862],
        [3155207274602227133,14821684250521848563,16759994393800478118,193788325837693220]
    ),
    AffinePoint::from_raw(
        [18163954134468410496,9278874449086506868,13831660033159745914,442152865737659232],
        [9742932898762808834,1766235786086445305,8301411999688158439,24842633365283733]
    ),
    AffinePoint::from_raw(
        [822424658932443443,1305261525028107720,6888666044304271453,442043773275896398],
        [16476004131059812002,2838486208179537018,13652292618674977385,102959554541197643]
    ),
    AffinePoint::from_raw(
        [2728070875290861145,5172053927269582182,13193977752003744319,201118681998861721],
        [16463518017278649754,14036729680437702344,7028669678979227314,205084135044580762]
    ),
    AffinePoint::from_raw(
        [14166156285978756129,10311899058234585270,10991473568523074326,64620454162908276],
        [6327476559584052903,2244487671300091394,18024514962464881227,454832377344102809]
    ),
    AffinePoint::from_raw(
        [15231684443920404939,15206297071347006045,7597402698384628898,265687738930356450],
        [11572405335994650598,8794478149629540062,13583321312846057951,456343824057714966]
    ),
    AffinePoint::from_raw(
        [5040589102772540199,9154017237199527280,7000947922019895264,431410149525386524],
        [7145763405492999322,14993833381234723589,13605005560553834860,413363836715986106]
    ),
    AffinePoint::from_raw(
        [13140193378753131892,15997293845603297105,10598178477914867250,406270664378814368],
        [872677126904836186,15458092967405004784,11900667575757564341,362909051518497029]
    ),
    AffinePoint::from_raw(
        [177317209140499626,15477565667845857177,6190039161296031738,209149492381190926],
        [11846488619290887597,479080134239109626,9255452806077131543,539910408533213161]
    ),
    AffinePoint::from_raw(
        [15389898481145776656,15176728107603925135,3435921594807713803,359003444020975086],
        [9110642704025598356,9980162160795989627,12228368781691626932,161989293430522126]
    ),
    AffinePoint::from_raw(
        [9441285427456657830,10270160747685556421,344219467303899873,121843750825716981],
        [10440208846281289265,5121082098568396836,1900871049236771992,343319286825974707]
    ),
    AffinePoint::from_raw(
        [15297046180233255059,11530351346187801699,13186685936457967027,408718962603854065],
        [7994057720581596423,14902650525184004447,6377022088176346482,504752684213297438]
    ),
    AffinePoint::from_raw(
        [9175433706835429262,14954344059403824779,16103937338430070492,532105318936449884],
        [14739559397894631921,11416509076040917133,12431942780894924145,541704632434840719]
    ),
    AffinePoint::from_raw(
        [17437651676445291859,625627622053113334,18193953076190057957,259684462402050199],
        [11801285181154976725,17099030245299440730,14289534657453256104,419736228823949084]
    ),
    AffinePoint::from_raw(
        [9395611973412910967,8764334739441875687,14163040884400410683,415755429992726213],
        [14622980548752244031,3742880941359846387,2185619118118677757,448826615503000454]
    ),
    AffinePoint::from_raw(
        [18067539219789961838,12424773116305904916,14041106344493868738,174505306593831827],
        [2332675321405119759,18111362302288429804,16520339895246347662,513152144035030264]
    ),
    AffinePoint::from_raw(
        [13989685368085664460,8460185890837038093,16668627480880621289,171421514053536676],
        [5085719025608638620,16503283508689316293,7216510739226239456,320667218839702732]
    ),
    AffinePoint::from_raw(
        [17498543193956046433,16091198814111440830,10272087983482053010,35245286272748093],
        [11961432101460151013,10588711262980241019,13770938406034753323,364357361287486893]
    ),
    AffinePoint::from_raw(
        [15327845849900636980,15007452382988167957,249995815453245601,291302711290162959],
        [3936780437438887800,5010083549089750068,1774063163168678717,368237619916021235]
    ),
    AffinePoint::from_raw(
        [661170223544290970,18238875989597589691,15167377568895131558,300931383195588232],
        [13841072252696058878,4168045441575579363,4726716445772148898,521537119053447571]
    ),
    AffinePoint::from_raw(
        [16282554191443817383,17262894758870420977,6038229299581905710,68221803609154187],
        [9598450202881443629,15804119535322698737,13536573745015740834,253183124996381494]
    ),
    AffinePoint::from_raw(
        [2009605273087003727,13338913558479954721,13977708330897424216,555418641717521675],
        [4357015001534585401,4991795386804751796,1960596408371246612,222328751217530959]
    ),
    AffinePoint::from_raw(
        [18210494357278338399,1177253938793925705,15186050709484981480,135571725668559485],
        [2815592022770735020,10539901555013608131,16590481474851541844,355118395136130023]
    ),
    AffinePoint::from_raw(
        [16239767378053568673,12390175806078595097,7769898528069132504,437988530634601095],
        [10564773591620667393,3068328202716879197,7665375010027621847,259917637378526736]
    ),
    AffinePoint::from_raw(
        [6865921045177581471,8421790486271703721,8970416763498059387,282906675978595750],
        [1208715741139764244,15730179103306285722,6506303982861500118,45953861141340059]
    ),
    AffinePoint::from_raw(
        [17184400515279270640,144179373617086626,14997056830663180687,556094668842650833],
        [15333435628120408086,7910938047852573904,3814202093316161048,525284363214732892]
    ),
    AffinePoint::from_raw(
        [9176635705871631065,9066380674910377953,1878796502753822663,155076576895887366],
        [17667613196730002130,2711275501981108490,11704302498086322011,332981587737643661]
    ),
    AffinePoint::from_raw(
        [9248169970641317763,11474592782850612098,10803592015410774555,204119158924960763],
        [13061629386133463554,17982437886344053070,15261629223501514099,133273789502765349]
    ),
    AffinePoint::from_raw(
        [14493715879037986037,13309741411944349189,6057885160540863230,418924685984435434],
        [4322867016721621999,16415284188001654931,636260937208155010,440910646340777785]
    ),
    AffinePoint::from_raw(
        [437076624511759252,9656029671441645251,17548754984303485659,2356903627462376],
        [11083566653647141414,17099931617202225104,10948545444932403083,146309249780482331]
    ),
    AffinePoint::from_raw(
        [4602308392054918102,9849926031424929949,4734134329085579315,157145018417056517],
        [15947170229174834936,813140707801319591,14441973529158544243,97331836431646007]
    ),
    AffinePoint::from_raw(
        [15089192100048274229,5332378879580503777,3592136450679974381,566192325521566723],
        [7111975122877879862,4279884833558357233,4002818788911934052,269075607965986786]
    ),
    AffinePoint::from_raw(
        [11486810800688898888,11970217441649441556,12433959920193703911,545679484238069403],
        [1238597839069151328,14322357982944392586,18119551510898399294,467892539897978170]
    ),
    AffinePoint::from_raw(
        [14527866064525653788,1567785061252252802,13554406380533836527,430280419915081867],
        [7209879196067101155,13825211059394608110,10703028028582532714,307783007062139230]
    ),
    AffinePoint::from_raw(
        [17026291429598689715,11785944229364981047,6593626687055899581,549979273326667422],
        [3783793803277499604,10914243945811291797,16048723759463350296,358461406715849034]
    ),
    AffinePoint::from_raw(
        [5969577389867556624,16881025877672429933,16358849567465402723,113757901368191321],
        [1660789858119895714,13565197341279032634,5691287441946571979,310688608095420631]
    ),
    AffinePoint::from_raw(
        [12311364555963508693,16893183732670570484,4384323251448177686,123240826534457685],
        [15244428097334039678,1174132016413779239,18351297975172337193,193216134821365093]
    ),
    AffinePoint::from_raw(
        [9325546526808104396,1878029699840461028,10272755845953310260,366974504392727732],
        [16147302743875801004,12838523082999422831,7808126257007745187,216375636529259200]
    ),
    AffinePoint::from_raw(
        [1283201267785657730,17844116082933322013,1222445267778791490,101325815468962379],
        [15661853874013266109,18143781167090571762,1698397216678146587,277388892574808407]
    ),
    AffinePoint::from_raw(
        [12804022808148427660,7993677680775538525,8139871061827373003,559419050688090990],
        [8423474458242105822,1814503568387729882,3296772806353188172,212933996066505349]
    ),
    AffinePoint::from_raw(
        [6871120659404689470,4675741001682405474,75396002611665768,190926577312073709],
        [16323869082246056567,12392990120816519898,7836357186539881355,275039047347583717]
    ),
    AffinePoint::from_raw(
        [17754225199598964058,5902820993451635790,17536012716664868,229115660261738666],
        [6314339285598264455,3876713972751570619,6820704444705904915,98277321510350381]
    ),
    AffinePoint::from_raw(
        [9640602750153675272,6009739005441003595,7680819195055641843,568091017405517173],
        [10704811709572381722,5144791613878053085,10282412482153138341,312007752074631955]
    ),
    AffinePoint::from_raw(
        [15409225435737969881,1681343953759754641,17210646737249000669,314979261945975069],
        [6174376591310348254,7296865163600023402,12027708041923343469,352016594573951533]
    ),
    AffinePoint::from_raw(
        [5501255775288696133,9920063627985287815,16540316682797590312,297515887491727842],
        [1113286478523368459,16714133205782992380,16942111178403851613,99617857172257960]
    ),
    AffinePoint::from_raw(
        [17425901820774725582,1312860257293901544,12992330767146065556,420371019884877784],
        [1589686167217266339,6132691015478407278,16437996482425014002,535196759792595090]
    ),
    AffinePoint::from_raw(
        [11955297944000587770,15497027825929453458,4238459669244365934,107884090395766951],
        [471483806746749605,7112264174099487399,17317527719551312019,193704490139242597]
    ),
    AffinePoint::from_raw(
        [15726280597629404285,10368164482348023646,5923089223984604613,258240035212612571],
        [3109527005876224255,10736674951861036978,18070014747910338394,483682725853122983]
    ),
    AffinePoint::from_raw(
        [12454456904650043257,1891385452827263531,10744525340733279164,448341375197732926],
        [16846056335991107603,2964691369892575189,9379958801084595184,105631972955148862]
    ),
    AffinePoint::from_raw(
        [877891045146681896,13710743719468393512,16229064094065664002,459103299046637529],
        [9924933390693151197,464290209684512763,149156136599939293,543631499089296970]
    ),
    AffinePoint::from_raw(
        [11099568367975706112,5784348070773701973,1175257097927415853,491087667783317745],
        [12754541635885517650,8728197577526290459,6580123971087812593,363098115148886733]
    ),
    AffinePoint::from_raw(
        [9324704842965220206,1921149835436151357,18404521567729997617,18500925548201496],
        [14758461328536761843,6382940713758179993,15537980573568046181,403470720885482244]
    ),
    AffinePoint::from_raw(
        [8410139171926127703,15138005758397497265,6996130701516873262,118286617634401729],
        [3908577775860785408,2342174850112369068,16951385197432121312,301879408199090905]
    ),
    AffinePoint::from_raw(
        [5146315109750386335,16512339348383641492,15309576060734169905,171865812376290540],
        [7726310094789584493,17888738265382410032,10326693219421249949,433183014250024940]
    ),
    AffinePoint::from_raw(
        [608266133832806109,10732610768438440867,17968907752008218527,128347999864637775],
        [17746510316381238037,10465544580165809015,12997084459048247361,460211783725151335]
    ),
    AffinePoint::from_raw(
        [17637034854249134133,14360310049013559578,13298916788342868354,78965948630388439],
        [15195444009994229179,9181479294759387995,16539866357540600700,107116791542573639]
    ),
    AffinePoint::from_raw(
        [7327742610529213439,7519651106634398958,13008529188299297359,46722010824258540],
        [10270113481741913527,11618419971647423752,18292974883189369183,272184064499262813]
    ),
    AffinePoint::from_raw(
        [11337235756114502025,10070067015922579667,13334135381789173263,271928768682524730],
        [7871799300160427603,4077654148972469286,6461822636028066194,279991720552313896]
    ),
    AffinePoint::from_raw(
        [17204834512549438076,12200087239129127466,15676872845268110306,565357372620089524],
        [12933356262663247983,2025794114868476471,4406928406988788892,407842785438281120]
    ),
    AffinePoint::from_raw(
        [16212505299233986215,1354705789063414516,4029010827117434103,439906212205021194],
        [13621021800508610090,17192399014452986198,15426491258222877930,134986355444732168]
    ),
    AffinePoint::from_raw(
        [10528567592007567128,2963629961181636255,452068475004894523,314647468572445308],
        [5332263633795235719,1640363237469689273,9783350509518177017,375235249931675807]
    ),
    AffinePoint::from_raw(
        [9097737188639041375,16367354900788354237,6431569869206802701,371307530394855390],
        [8118345678829424546,16098288314898307773,4309760079800578339,99115073051628816]
    ),
    AffinePoint::from_raw(
        [2214191815855976286,320182239643416628,8030046425096670563,407468268893584318],
        [16866520989141253629,11543939790165241740,337049603875927689,499177621967489095]
    ),
    AffinePoint::from_raw(
        [6626445001227530343,498144529196326321,5424304953339166409,509525369687134673],
        [15469329970966488166,5079518969602781215,12092317227747037601,162980698402862185]
    ),
    AffinePoint::from_raw(
        [9611069873040923475,10118911058026994372,12613983715100140892,8445001915427434],
        [2385954170360960858,1528417501653041596,13479258672475879215,441236404987042606]
    ),
    AffinePoint::from_raw(
        [10254905260995913801,3537920058913848340,3537491342098481203,325760242943382844],
        [1112055281076866017,10765997735319728351,17797149892723093548,282013178920415046]
    ),
    AffinePoint::from_raw(
        [8138941228810987092,9953577254308906784,9229024314914289994,446917740508233667],
        [9561426654572729273,6637761510282016252,3582218862433133314,341300078225684921]
    ),
    AffinePoint::from_raw(
        [12484564907787620221,17519448125617670931,11718866813454078657,258210240555114968],
        [11773110140572842511,13879642672300970778,7912957140520446205,393734202324402294]
    ),
    AffinePoint::from_raw(
        [129479733017836351,6913804273987251980,9077217583587182533,84766921805684044],
        [10722418950366236044,12689051706846858050,2090573267068083305,276625625956295199]
    ),
    AffinePoint::from_raw(
        [11064329261131649826,15266322297160035905,8581744108943796086,535827007603360332],
        [6908952272497379064,9191341132827063681,8774720175318779350,113097955006327178]
    ),
    AffinePoint::from_raw(
        [9647285037823642344,6333628674237472243,11981884397055672744,16998861322880763],
        [13822822813090856604,2626419338162406090,10738850691515286207,253576839631081686]
    ),
    AffinePoint::from_raw(
        [18142234894042329725,10180285133761365096,481187797728254685,356863544788044655],
        [8238933881720081924,1090778995100944644,3887814783356891886,85288284530408281]
    ),
    AffinePoint::from_raw(
        [12472489842146514922,240028759746538346,7067947086501373799,55798129844555855],
        [457912678849558363,8822481992668889865,12513488493177586786,249054982838423865]
    ),
    AffinePoint::from_raw(
        [1955978915356484107,4158481232662849950,4364692786801485762,305238217097193010],
        [4876533763535640680,12719042178910637065,6958382546633488681,31429591949997493]
    ),
    AffinePoint::from_raw(
        [16243527659441539560,12647327102851011471,1824818814609242149,185349280317303894],
        [16244827448599649817,13573001029192407206,3188012282569726452,350856501039912919]
    ),
    AffinePoint::from_raw(
        [11668049480914434281,2212447893494437043,1363951075695686560,480612895077108292],
        [11005825346184598952,1317305247026119628,890542678647937048,89999819764221333]
    ),
    AffinePoint::from_raw(
        [6404270370882055272,2642474160595650320,13438176306356656662,567009600025283743],
        [11756889615782304106,12237095382220583336,15380395090878597286,567662228962644780]
    ),
    AffinePoint::from_raw(
        [6471578521636444783,4275567500113344822,362703405749475973,574562929475092843],
        [5843434847109487762,6704206327350206892,2755453563774785631,174946930339257882]
    ),
    AffinePoint::from_raw(
        [758166610700185177,12624829285808329366,13126207741537998082,6462021038025245],
        [3756016431943096746,8299072344430640168,3137783369564254673,74205779581556093]
    ),
    AffinePoint::from_raw(
        [16301881696499765569,13109505401285058813,11187073883597186611,20412766055506857],
        [2093618248972164162,4721817983406142444,16488072924199246885,217861040359766938]
    ),
    AffinePoint::from_raw(
        [9388568159262653720,16765762348222664870,10489518806485454491,9794532580232173],
        [3198575671011549922,7353411249219966177,15620156363239773636,461703567208733657]
    ),
    AffinePoint::from_raw(
        [12161479022080216427,16320937840146874207,2615361338549046164,123994799741480391],
        [3189996508077863110,907964730680085478,8151043668740942818,411597629991178511]
    ),
    AffinePoint::from_raw(
        [337389580895342186,2165473025226342778,17109340856398497945,375603095868258873],
        [4803075032684507288,9388593714295615009,6006041002425460768,402566677930059524]
    ),
    AffinePoint::from_raw(
        [4026445097637610883,2176798330592431208,7994604015746079002,104163357788268722],
        [5186462222078562269,13540084384882278528,11288158135373433735,19805062926896312]
    ),
    AffinePoint::from_raw(
        [15266208678630263637,14472595077398579374,4861156961801321814,299365611446328315],
        [16551085761355101492,12797368891217558728,3873124660329777956,150548984816114434]
    ),
    AffinePoint::from_raw(
        [5207924665164921898,9788297453088075313,15152550330040781241,258041035635868272],
        [8426049180123412443,3814156684612275476,13203418690031909629,165673049101210806]
    ),
    AffinePoint::from_raw(
        [14186849982746246169,5651463265223096965,14922029217179686444,244352641723171543],
        [13312115410798102526,16092116012365798806,14540125499848284692,293827241706251346]
    ),
    AffinePoint::from_raw(
        [10760416958443983665,5207929535759045497,5279720536145072455,73057802070487162],
        [17665915074793396660,4808742834929060352,2631458347422303190,130463728220030702]
    ),
    AffinePoint::from_raw(
        [7901434680878192989,6076693545327730088,10953632235898198841,113618906727759010],
        [2573306566530443253,3001278639547075252,12370839826862231111,231387162283638298]
    ),
    AffinePoint::from_raw(
        [6418873025085178803,3532062944271789661,14333230142360823267,185671040870246384],
        [2717472469560609838,12008975508123119826,5780512012638050370,395816669168434669]
    ),
    AffinePoint::from_raw(
        [17022773250385218531,4969237897114812563,17814996289074239041,544152392105510583],
        [163077059371679022,709859974860596423,15228420333970163476,61449546304198104]
    ),
    AffinePoint::from_raw(
        [49786541403700234,8968356055974867853,10153203760073908840,348960110995287952],
        [17490786505172122470,17684578034961882708,2837221755729001964,383884919152473832]
    ),
    AffinePoint::from_raw(
        [15960119606806440817,1685208504580740054,15707970819994376946,116474899751807999],
        [16845588516672607605,17263750672604065058,7071721842807301092,164292828299268879]
    ),
    AffinePoint::from_raw(
        [4208552685765307188,2572138467240425430,9646106803807453023,271572242946426270],
        [18397423190683473112,13916805176872970692,6684059198582501262,120890958769874389]
    ),
    AffinePoint::from_raw(
        [16258493676289964556,7136815238323650649,12679989971965380442,404348152543540504],
        [11623224955724008030,3549053593948488221,398459687925351353,205834782296340894]
    ),
    AffinePoint::from_raw(
        [13284930363780432039,5828814353349670151,12398033299629306367,390426757333222157],
        [6014270039531366847,4539546065944047109,11404638198548155029,145324017587769050]
    ),
    AffinePoint::from_raw(
        [10635411680447437714,17446854605924498556,14819084516200136308,51204450549661709],
        [9106676495099315191,6416527149532080005,3795682970728327026,211667320604550748]
    ),
    AffinePoint::from_raw(
        [15337930409359076661,8125640661070623031,7260517469445177510,135620032622763222],
        [11534467311861533083,5222935499736547193,16280624159451431293,60791866090047609]
    ),
    AffinePoint::from_raw(
        [14761464206678602050,14125074198529621587,16289255673601096473,188340063270166192],
        [15803982231219441126,1652413030043730065,13249025283622978501,122143215539362704]
    ),
    AffinePoint::from_raw(
        [15336728151019042962,14573954078461853125,14831856678386518660,386361355480357000],
        [11131988178362686942,13020409606014192992,9678693952631142075,9562797564379540]
    ),
    AffinePoint::from_raw(
        [4573162626170716886,9246201503239845297,14879073639373481420,392031166280793760],
        [9329904540914547202,2852356443642541641,10601930452321586802,243081443217393627]
    ),
    AffinePoint::from_raw(
        [17991794069759413421,10775652438198741244,4245395125068599915,108167330629878247],
        [3286847238345569653,2807885528135970923,15644495009640120935,449672516568900008]
    ),
    AffinePoint::from_raw(
        [7985333206875139153,15663955378061768377,3722640955006446202,62212438475900664],
        [3181910754330619935,9302830121328775240,15317204915447472605,401462814079693052]
    ),
    AffinePoint::from_raw(
        [16246751475257729185,13169226079839694706,11898969358183201952,61934883043170011],
        [13086695390585479965,11772444690201965561,6275659603439350793,311858954782292546]
    ),
    AffinePoint::from_raw(
        [6224284705864334483,1537980917990132855,5054574894555567970,289041254300435723],
        [2118118839918636449,15026841974616017780,14085028677881254491,466019927504301044]
    ),
    AffinePoint::from_raw(
        [4376809698794320932,18415154518062978165,6268633809424271213,247840164348082322],
        [1206519637576086397,5469002843839495964,16901170497731993587,411371058160980883]
    ),
    AffinePoint::from_raw(
        [1570004705771628787,5912549151144990792,15730523169046711427,6414818200128243],
        [3909833493043612967,9401663863681193871,18042704903714793637,452533665686762594]
    ),
    AffinePoint::from_raw(
        [3109061047479993389,5843441540558577615,7889926470200916478,318495312420110076],
        [3661182406348056162,4292539250590637320,5840802889050302276,305776142784280168]
    ),
    AffinePoint::from_raw(
        [16310661743283585669,5940913548816878391,6542256315107085895,438166361156646499],
        [16951878891607534623,6762134265706785578,8674004669388376738,537432767319989524]
    ),
    AffinePoint::from_raw(
        [15824441673288345825,5296942513960293458,13898162323553182481,73315396102614240],
        [2517495751484207668,14942982643831842035,11966343485293487453,363648880920511982]
    ),
    AffinePoint::from_raw(
        [14521864682963371856,13316718445016718393,9595119931619816133,273925031314460718],
        [18239797036470394985,1417390166229046021,17644278871822447231,195379324278461453]
    ),
    AffinePoint::from_raw(
        [3316720970196042781,12344652864701738973,6017960833467210866,421574935249279298],
        [9652799231666101740,16187465689527502597,14765400666624475146,176930590592347687]
    ),
    AffinePoint::from_raw(
        [1501632504062108174,13357499876721114447,6921792924726066019,561541462974032110],
        [7365981725039927619,5602533342182185471,13094666024090290506,154249898850399216]
    ),
    AffinePoint::from_raw(
        [15532306981925155834,9400236077934672397,1816582472411908220,548802217142976735],
        [3786950136464193052,14920211829583904745,12668478386473620383,430068308909917444]
    ),
    AffinePoint::from_raw(
        [2759910768568248970,880260885338959986,1564241890400650687,324233196914906381],
        [5797332352523796439,17305944416125641657,4191907493483531552,222594048664908971]
    ),
    AffinePoint::from_raw(
        [9333621545194011254,18135551473769409139,8965587770039093597,112864827453778719],
        [3835094174430813022,16912651187103067820,18171531668886991693,88499338943908346]
    ),
    AffinePoint::from_raw(
        [2295912442250542961,6000195324130434163,15194122240389350779,329309212379001177],
        [14842664547192492687,2684336520848085639,5661332433264285769,281987730823633096]
    ),
    AffinePoint::from_raw(
        [13585725257664034687,3742671022432359698,15404068954413342908,36554231713309060],
        [5874353784151076481,10552198181615748995,9182683055289390331,210755061756239987]
    ),
    AffinePoint::from_raw(
        [15966885330608119293,478238000271180314,18216370535153346791,310896193530442518],
        [17337713663629164128,9792681068211283511,13922476103259995877,419579454572518742]
    ),
    AffinePoint::from_raw(
        [11835009842458183913,14145088317539027239,13621650296394507095,433191750547030037],
        [13090324032774368402,11952168626160563481,10462371816911852310,471639505821656874]
    ),
    AffinePoint::from_raw(
        [4986656280507993033,15689762256210154116,1838343874391344973,369338507914735493],
        [7612974361528079991,12342321212618559438,15086163100400294776,247139548676878977]
    ),
    AffinePoint::from_raw(
        [14064554302115900824,5019755771670652046,5260829156301600279,444673494365850015],
        [1691172982440341042,17226580241034720140,8025433894889480681,505772231798118085]
    ),
    AffinePoint::from_raw(
        [11763096121572235085,13229237604637213046,9581555206703488958,176460066159517892],
        [16931328455068338636,13344457154278217309,15994237356693463891,339218779643412385]
    ),
    AffinePoint::from_raw(
        [16526521433705149615,11873283794584728855,590829137389944025,304038068281222051],
        [11176839763924436719,2381987414660455180,15778794430420347426,397151260914040974]
    ),
    AffinePoint::from_raw(
        [5001670017769364393,1072275836919276978,17543706158877245682,429249916573289612],
        [8641005479788628949,12715190757296533982,3212949468829959823,166900524955916991]
    ),
    AffinePoint::from_raw(
        [13817800003054195722,5550151077154519790,17416695527040940351,547457669456530082],
        [7016797986166260192,10533096050815510144,1769261487993993506,38735627813085605]
    ),
    AffinePoint::from_raw(
        [4325550667716266292,9442876210393901728,3336032657763113350,384607004523023055],
        [1621381625169137602,4311079242720145168,1945448270825968081,43363998021287043]
    ),
    AffinePoint::from_raw(
        [8161797880260674402,7794474652050218698,2674004438810981564,532181374579714492],
        [2146000256375058937,10177478720170256757,2945562770286705635,410334322797888308]
    ),
    AffinePoint::from_raw(
        [248151258559054196,2463331639800629503,1137485701683907267,317117049339407561],
        [7137781457942069194,4074417002908920637,8466979341403934478,346304929685422082]
    ),
    AffinePoint::from_raw(
        [2297766419731301966,12117947997165834862,1579032691183644255,59433963248779579],
        [10595870606372943111,15959773932011932266,11030511074086326424,343790006733522224]
    ),
    AffinePoint::from_raw(
        [11077701809145414872,2235393920255645123,3016430806836677748,478764851880274791],
        [5705399681243562823,2227658140455739084,6861644593851301605,344457646671479460]
    ),
    AffinePoint::from_raw(
        [13875104173116885382,4931400931582218789,15740075769197373932,61573896380573497],
        [16641340379271008774,16278907081273812151,2513745182156882920,123690801406351016]
    ),
    AffinePoint::from_raw(
        [16101600440133986366,8737250918101116845,14464766979814230865,498540623389331676],
        [5234363256152054836,8901645475848380644,10384346744355156750,370766872967126025]
    ),
    AffinePoint::from_raw(
        [13853614279088644569,7721628856616308385,17829587575263690875,328853847947636041],
        [11488650432884490782,2960425979629385577,18063181693698324089,40068244035926024]
    ),
    AffinePoint::from_raw(
        [9065355865427303078,14029073478196016854,4007613741961935436,245815114357181417],
        [8348381448497262990,6411348437763007756,17378273960444644089,13328187185607316]
    ),
    AffinePoint::from_raw(
        [1937265027958768175,10242516554900575171,5748366492767960100,323405470353792928],
        [18350808054131400507,11642490846978357909,16577768472511129689,503476036867075482]
    ),
    AffinePoint::from_raw(
        [221683723067320405,15794601658718375809,8933889924022101747,279415105515097822],
        [6852057932180086473,6441702637885667281,6600465532830532285,475980064967411804]
    ),
    AffinePoint::from_raw(
        [3170187982070892521,11664604551565887640,14370022453705953968,369628523244712674],
        [10641379570528048170,12494812704791344172,13707796733567826429,158429604940865672]
    ),
    AffinePoint::from_raw(
        [18384407278651335665,17981755295101393673,7292405183152883447,93896625781699023],
        [1963561463008333635,11102222590239720274,16711200517581324180,178148527957961978]
    ),
    AffinePoint::from_raw(
        [15929880539026033358,11733344377335932710,1821182318278710077,124935141212050821],
        [1064748363464039074,11408913304711766916,16758055590568112427,2793105929677977]
    ),
    AffinePoint::from_raw(
        [11754304942101574095,8040345964710052708,6375143804468631004,295442570366957359],
        [252585509745319558,3741189272784120065,8594879946085771276,294831860690624965]
    ),
    AffinePoint::from_raw(
        [11451628412511340741,5338631110525959435,15749545392939659149,465101644688450485],
        [18255240202914382941,7621538212122230230,15887790794521339406,532950741608247632]
    ),
    AffinePoint::from_raw(
        [3357806125190414174,11793382281388942148,15207436335647047484,470020293461485687],
        [12164432837909546787,4812114569034931455,10526309392190347848,110676575460329469]
    ),
    AffinePoint::from_raw(
        [4087852050008507202,12395085376653520383,17096581076923833398,416702278577081914],
        [2649256759266867648,8612853210638370893,13089956308576485719,468780912543543645]
    ),
    AffinePoint::from_raw(
        [3106106129978796148,15759181047413457575,4667444366782669442,271582843160839189],
        [3559059443018821027,17915368778707331899,9976169099188605789,324826654746481513]
    ),
    AffinePoint::from_raw(
        [17688458235425464337,14378712469668259204,16557156577508293427,124790292531285577],
        [4234823545847835660,11765610674592994829,14392053438032677460,148539887236734168]
    ),
    AffinePoint::from_raw(
        [11073531761552290391,15338513205042293065,14799739508976776827,386863916280635498],
        [2584808761643343580,16364637833786564988,17875604103771983619,364104863256604879]
    ),
    AffinePoint::from_raw(
        [616540039478794077,7668580694764378463,5170648077638384354,51686394983224649],
        [15255553280145277875,3325415441824570156,6442038715538301232,18244053286035137]
    ),
    AffinePoint::from_raw(
        [3422053903575692860,15345312910317496537,913264376813213902,94674367821709270],
        [10832312744857032382,936868363246387316,8887705383300836588,214018166339315847]
    ),
    AffinePoint::from_raw(
        [5558686670228227331,14420962402027864191,7173031991792074894,361998827857360180],
        [2352631422482793604,3491482358625172620,4879551718817541934,357597190713958836]
    ),
    AffinePoint::from_raw(
        [12104702228646095918,1984140655885467805,4249083376937211711,138326234693334803],
        [15991633507096292255,12858316671381912158,10174277419374628573,480116970673240768]
    ),
    AffinePoint::from_raw(
        [12480839993807133343,922639150840759225,10655153103560566640,118357922589140792],
        [10163323661866111740,7059169480930407850,1470437329722126386,241048340120308559]
    ),
    AffinePoint::from_raw(
        [8302368530548502275,12886212381095255761,16232379076059384364,300942063324125352],
        [6872163354602772819,1751253144555881394,18165793455625541249,498424956716835354]
    ),
    AffinePoint::from_raw(
        [14983883454354327854,1761281589309624181,16924160425336438545,343343635952956819],
        [10965247684170680845,8475159933796471294,17441263857505427770,267492537119147547]
    ),
    AffinePoint::from_raw(
        [11218059747905140372,14110867885260830695,2629858633673857114,245056048443620503],
        [7359897709832725032,15758100345274629754,6878239067290118580,359628746402140591]
    ),
    AffinePoint::from_raw(
        [6685585952058448425,8955004849713518786,10761650138469368196,39885801542143770],
        [3469077270692192669,8376990681757758366,4947339233208731566,318727060947435198]
    ),
    AffinePoint::from_raw(
        [83048337520368448,7097752787347090501,17425428446712650511,1495360740532796],
        [12306539441575135275,9911677887812102467,5656799256202417223,556576367072504832]
    ),
    AffinePoint::from_raw(
        [7578916147865493379,4867341640298918245,1833446114484836736,200146695126711097],
        [10596863053156898053,7776849409701839235,16618428015992979848,553553772626354644]
    ),
    AffinePoint::from_raw(
        [1112235023923916347,3071512851799581434,7291677272322109836,485202141834455616],
        [1352354937974348017,17586803035016291283,16355942185483142020,161453620607696408]
    ),
    AffinePoint::from_raw(
        [2227764666352042306,6182701097356138763,10564432713948184208,134554431264976259],
        [12771702130633931682,2084816293641936588,14283811677024920874,108626176394570263]
    ),
    AffinePoint::from_raw(
        [13591597331259345764,14486033054458440177,1473982921882722590,111099258243733658],
        [272293246703318774,13096988658597088576,8603764622995636174,207799294353311335]
    ),
    AffinePoint::from_raw(
        [5040001329765497219,5994315356136436433,4158162354715587088,89588424579093245],
        [12887649923177300294,5598966041076599697,3512071113650379418,356523213304238286]
    ),
    AffinePoint::from_raw(
        [7412772119951885349,9401934092717502118,5416198872860929619,221863194415764231],
        [10372479550903593081,8678860522070736800,2856165879180285503,128115723282183716]
    ),
    AffinePoint::from_raw(
        [17342951872502517612,6528758989684443088,1041035189718740475,371420704596931922],
        [14104064894008709939,14736654566315039332,4983978325067717448,412684449374084489]
    ),
    AffinePoint::from_raw(
        [2761212037069956924,3037010383275747987,4953574311237640042,395360844113885219],
        [17469403446546079446,7871546479554386002,13580904250058007250,178832093414403121]
    ),
    AffinePoint::from_raw(
        [9389015225932473765,1063379051277613381,9997789558333745435,330726130708089091],
        [11484162319040045147,4758180761294143006,1523429981509031777,136221310437828379]
    ),
    AffinePoint::from_raw(
        [8621575959398159373,18192657557906630318,1057647258172166446,545277080399259178],
        [11133865356714610147,13703907165451330476,14438695401109232764,574270953194369237]
    ),
    AffinePoint::from_raw(
        [13015355878419353649,15818228893134792004,5631884108984324357,10489994217264014],
        [11614418348692204883,11281628806694471894,15779557008341876283,248321091309523426]
    ),
    AffinePoint::from_raw(
        [124381379083467899,15606287907433030877,10005018788192965526,306895894068254924],
        [6883394991867893391,14112997349500205334,16077019354023537500,466540375120537907]
    ),
    AffinePoint::from_raw(
        [15219788478442176120,14517142385595800406,6981571531811616725,150872616100097273],
        [14371188413297056879,15019831401582327264,5793894075833159262,77298962875544358]
    ),
    AffinePoint::from_raw(
        [15862150266336994670,3347273536269997361,16482627444269708546,21891503236735209],
        [2678358880786544384,994151505810095752,576711737888849022,81051260881872895]
    ),
    AffinePoint::from_raw(
        [17333241256726445990,15096687712446453136,17335469098158797630,508754945703449737],
        [10402911762860173338,5302072036682239078,13073492503177042384,478541143875792142]
    ),
    AffinePoint::from_raw(
        [17086718269785074977,9347319182079810339,10298893112040492244,256794531589179638],
        [11760787139884047791,14923741786309960166,17954666462377795806,158166918867651894]
    ),
    AffinePoint::from_raw(
        [10419379832452632779,1186250469981816488,4269404531673775831,233937663900566887],
        [13353886062400442207,5595790283166395572,3975734763659943595,69945010986403791]
    ),
    AffinePoint::from_raw(
        [16512150841244287622,13988449376584831346,2942574460643643069,517823076342215675],
        [818892554598728162,10839523697944144241,5558313027274716350,140630618654572483]
    ),
    AffinePoint::from_raw(
        [16388611372969301097,8395728805516895037,4685992719851317888,556903437872448750],
        [10533426432768430899,6681264345241645774,4181951111044145047,97060047180064647]
    ),
    AffinePoint::from_raw(
        [290596801246495254,10716768713863097823,5121654786945337157,97031934239013222],
        [8960171728069088443,13002655957513358115,2902601592025711270,358154176274211047]
    ),
    AffinePoint::from_raw(
        [11497454468617601539,2499230681600007180,9565177794843007496,44567865593802662],
        [10181100397785912813,18282005011902179502,15323436024970690273,392874709646957662]
    ),
    AffinePoint::from_raw(
        [12220116730514691969,16841006521262193880,7235580341282195868,474519099985410901],
        [4961933636123318114,4430244986599543060,17845834216788990296,191392868186756900]
    ),
    AffinePoint::from_raw(
        [10310035810307907375,2072170649299108871,7681190186118441682,23119149104083854],
        [12052566810677248692,3484994536545693182,8074158881827207208,274433629510159910]
    ),
    AffinePoint::from_raw(
        [17548171192992354127,5366124136122240938,18195402518339218912,272995891801403722],
        [2483647493286182866,8534979239832952695,3450407872293664267,336999238805105344]
    ),
    AffinePoint::from_raw(
        [8514258668610615989,9681742875208071564,13833511541635765304,25092047902880435],
        [4708970769518833242,9432691609940332057,17342884008422864707,196320760655270951]
    ),
    AffinePoint::from_raw(
        [10022060491048259613,14156646902539130179,8687547348532945855,53479816841742655],
        [16115038108936045542,11551908224451146208,2316449723091308786,513605533577181538]
    ),
    AffinePoint::from_raw(
        [4749699339055676254,6846670299308314307,16910824467437600914,487190747420507788],
        [3661108665329142252,3093345310093138427,6460955732962954708,114558507208085153]
    ),
    AffinePoint::from_raw(
        [11682320110193491089,6112823071363282940,2721592469585259728,3326022648139015],
        [185571695726609415,88810398547573143,3525224847225509074,368967158845513546]
    ),
    AffinePoint::from_raw(
        [5493004618441313682,9714441544057876967,13648440511298740387,338990858607656548],
        [14247812649566416560,9744370994381103361,13909300257139156950,220393768921092334]
    ),
    AffinePoint::from_raw(
        [7907428608731733268,6372446608866759292,874583567757267141,59853880910226789],
        [3726578656852572660,15970374569590452028,4930773602231303567,105209836542637431]
    ),
    AffinePoint::from_raw(
        [13023835926990087421,8852834498817171675,16420562725087813305,344909025093550658],
        [18098382076782512547,13073437228947079112,489499034079656687,23176809176235082]
    ),
    AffinePoint::from_raw(
        [12919786522558808335,7778801733596367688,5014404531949667862,395579740924222134],
        [6301128890939174647,12735799899393512702,10412640452032235318,501016260185552425]
    ),
    AffinePoint::from_raw(
        [17281280965017731654,12410813839669559887,5834105657237119645,353299915547548068],
        [16552741879817384236,6748837300743442627,12335591742415591785,282124020327620546]
    ),
    AffinePoint::from_raw(
        [5078935601881698074,5471313625743567744,14136204864229954397,304665773341081675],
        [11645056539673637708,394368823741415172,16598806345985242114,478638126377824245]
    ),
    AffinePoint::from_raw(
        [863688345705040093,10421478140121056636,5366164704503353895,434020717898148749],
        [16144753310644805696,7059904007339928013,17453331083335339185,572973925421874052]
    ),
    AffinePoint::from_raw(
        [14535180503973719630,12668705191098686789,14726935972423494419,244580061029562225],
        [13419221896648446012,17906919356144334618,10983911343142970307,576100298203550761]
    ),
    AffinePoint::from_raw(
        [18132104180790947285,6534806994439362664,2668551877413790110,1058391305741615],
        [12547930322393454224,4971872175961585486,14317657487800722956,413208175820071004]
    ),
    AffinePoint::from_raw(
        [9637868834919416967,11618819659782844437,9319398481237431602,31340008056128245],
        [13087708267817198454,14410014690293066383,15833068330092498300,494119879861664067]
    ),
    AffinePoint::from_raw(
        [2186590397012380647,7784873594011732977,4919071657083807632,291781107823758003],
        [2266046348860644163,15422745369561422573,6950351801184906538,558386762338939268]
    ),
    AffinePoint::from_raw(
        [3149676569357119712,4667605086694292371,16190147172910873145,282221888807158725],
        [2776985075183110028,7767911794206645851,13740849517393753063,497163006807680203]
    ),
    AffinePoint::from_raw(
        [11875564543429828139,5771949833149777228,3250071209116714100,554872098280405724],
        [10516321136639329622,17378757391511113653,1339788432875255451,256509859231614326]
    ),
    AffinePoint::from_raw(
        [5172300469818180381,14715309389171637772,3124207982033299948,28959087733285816],
        [14522867269908927293,369272583655337545,1822533875459102251,235608459113385804]
    ),
    AffinePoint::from_raw(
        [16342807173646947684,2991454053176251125,8225420082189019012,392394918541118588],
        [4513833863802252997,458843264431031880,9427050802047345569,29106272928320619]
    ),
    AffinePoint::from_raw(
        [10868189228577450058,13964296923216968339,9803971275066626283,71457293514274178],
        [2947138265336822708,11864147147128935539,11009241510537060072,535822383636538240]
    ),
    AffinePoint::from_raw(
        [9541156623063766552,4735971088896662153,5293750062390985613,168185699635835462],
        [5106305362542124551,279481413048552702,8750121686984788518,208300150151755335]
    ),
    AffinePoint::from_raw(
        [15966869674425485876,9387014807079633189,16081511615825881190,463530778011042095],
        [7804394861732088909,12049927459746826502,6855124430979920417,258256339808665868]
    ),
    AffinePoint::from_raw(
        [9804081084241375616,9227757178296364359,6290179510570662198,139806629521726219],
        [226292642014305729,7500028486144751086,1773063451188826431,88666023107114931]
    ),
    AffinePoint::from_raw(
        [11580737606343920024,13139270148881460376,10275589065045525377,213894925466744087],
        [12209868130092199693,7949490478767257679,328594987536968721,36615939033581865]
    ),
    AffinePoint::from_raw(
        [18273892397724613393,14755966642572757083,16698200611151639749,433910026200049940],
        [9269370614883475383,4941084134518307726,11757612280060973643,130956455912963295]
    ),
    AffinePoint::from_raw(
        [8824440519402110325,2453664019899349357,16008290970640419027,69247465034852362],
        [16037003820882361279,12454939351348830013,8444456564163413198,69472336972204673]
    ),
    AffinePoint::from_raw(
        [1544527660446100692,11861981818177524063,7465081022906779331,562396212461470533],
        [5065565009418052284,16930618247651549992,1152731989916258675,568514112346313818]
    ),
    AffinePoint::from_raw(
        [16372568060268196190,3782126308878145640,16138329093606327179,9672305698400963],
        [13167397146603336411,4592589342808759832,8663257194775270757,103786020849576936]
    ),
    AffinePoint::from_raw(
        [2842938089658721080,1695782690594049840,5670648840745343615,176526570020701301],
        [3430201362090833975,7033341941691569326,1841309109246260992,358189227441478535]
    ),
    AffinePoint::from_raw(
        [11628389427788648520,3398142416708265542,5433956890269184495,45019960664840634],
        [14962095731647959221,1210981420850618380,12524883315104434856,474925394680094176]
    ),
    AffinePoint::from_raw(
        [13801905588434754331,68354677377191728,1034657168986126491,90919769839876782],
        [10954616614219257874,3218830820270030261,11885667969559058836,522346962754510378]
    ),
    AffinePoint::from_raw(
        [9444631524186901000,4192205398188511162,14005676774426698506,448676883166871444],
        [12927688152901974149,6349730454203968283,2940379417351966471,129911435013951003]
    ),
    AffinePoint::from_raw(
        [12264688351725891056,8468807965654098334,1432069691586583937,559214373173434302],
        [2865739699725234520,4240576722125856605,11045261546035608992,193502226269642197]
    ),
    AffinePoint::from_raw(
        [4468208429797297566,7440987099984046778,6704685003389063565,410084520266782813],
        [15441989850638488159,7914749203062473507,8671767488905308065,558226482738657181]
    ),
    AffinePoint::from_raw(
        [3083099937822823456,13081196446013018464,4520476616128493681,92020666614871115],
        [13434783351377587027,4708155747799448387,5416473417361085549,469447360122534006]
    ),
    AffinePoint::from_raw(
        [6638447455075976570,254723072414777291,3192109403605919777,356445908669919552],
        [4731472178353839002,4434206854605628699,15137664848593633551,293815376476788663]
    ),
    AffinePoint::from_raw(
        [9725480963505344813,11039555891630876970,13465736590097784553,70322454228375959],
        [2859874180236217270,10792097328348953195,11751473171208365344,386472940345096410]
    ),
    AffinePoint::from_raw(
        [7765757530603146400,10394937313651138230,5229627268316156529,455156776670722734],
        [1292697525655311636,14176272965715232834,3674317360333451037,364566914604804651]
    ),
    AffinePoint::from_raw(
        [8051840837245511431,2335506042545809655,6950465291252558725,117123182469487351],
        [17057450016385124983,4317906058746800593,12043655386685114898,111092058036984951]
    ),
    AffinePoint::from_raw(
        [4584293109985338587,7069436869794803801,667659225815435256,70340737645407080],
        [12608759526252953830,13431400601460776765,12559880354219134566,575312808415231584]
    ),
    AffinePoint::from_raw(
        [3432875421104168416,13885533937008635243,1693077734062464958,13022571103491173],
        [2095094918194209063,17401019685845992039,5477268369263708323,496171653270697050]
    ),
    AffinePoint::from_raw(
        [14563579965153242204,7819678335423231900,17479901544926116427,193191252196101290],
        [13683614938279330773,7043617274777239375,14757078553037762264,276727694133329818]
    ),
    AffinePoint::from_raw(
        [6590864688309901341,13941640195006851410,2457736558789681441,495225865120032644],
        [14677593647829983494,8958029472108429494,3484669336166111204,375261795733690659]
    ),
    AffinePoint::from_raw(
        [4369141859586588921,7943793285637198804,14563931936870884150,548888206482687921],
        [18399510887419273657,10649821784783529454,10929863990939816028,218333105243343878]
    ),
    AffinePoint::from_raw(
        [16066119798209109419,12472849896848315827,7003565461599869429,13411880447398586],
        [18240561761011646770,1670534266428942868,248723379724266407,409877512525619878]
    ),
    AffinePoint::from_raw(
        [17805800481960582212,15064970406699809366,7606307787473625241,364424582355904252],
        [8737465909761795247,17002147983208364470,16475830368492314626,365560904077966336]
    ),
    AffinePoint::from_raw(
        [14170709653422303848,2109291074142428650,1092035828698834603,211842499879393050],
        [3121022417962634810,1548927652501708720,1457668903386686384,11287530532117977]
    ),
    AffinePoint::from_raw(
        [13754645076784280290,13558485065860097758,15098258295276861123,45355124598016289],
        [1707219810612133651,12982617255628838690,3245550706349201608,368073272033777440]
    ),
    AffinePoint::from_raw(
        [16881866645439615101,5883714149988682352,7122705102982668754,148145192309399658],
        [7882316460341024131,16371466759576130483,16530948189432289891,89865414524370064]
    ),
    AffinePoint::from_raw(
        [479830782847059211,14546990897371517798,16578555218010319588,305413985015895370],
        [15812255514187654592,3180535233106028340,3279817110201352106,398128247552936776]
    ),
    AffinePoint::from_raw(
        [4845205322715899734,6593381857182240329,12168220016626903928,365503596028020094],
        [9636392097670041465,2220202792113388026,5999298472511001796,212066198260145051]
    ),
    AffinePoint::from_raw(
        [16796988111703641971,17216452955221912069,12953948193248884038,42196243933093145],
        [12433077662934800235,8212208064464425608,4528718792462708523,122601154242347896]
    ),
    AffinePoint::from_raw(
        [9487532041539940433,598583334340846071,3679087326981219444,367383674415775313],
        [4519395641395374798,7323775545682204841,4856856372157290387,238782923700423013]
    ),
    AffinePoint::from_raw(
        [2419353465135754459,17022700070827539372,17218647660246519510,34731152392440603],
        [9853404215056542353,9046429273594542516,3627188793127235226,101594460989584812]
    ),
    AffinePoint::from_raw(
        [7974433877460702381,13985715972768894428,11687000754342348049,263585466225061404],
        [5560767331033839321,3214111174583057678,11544720643185001471,268332347113351963]
    ),
    AffinePoint::from_raw(
        [116266245023467696,6668286330075577625,9296193140927504678,462792472628129586],
        [7125227775914414798,17037037048321899606,7918309005841013863,268009458784817919]
    ),
    AffinePoint::from_raw(
        [1044042625819092751,15232272533212890680,3025214377446801629,253667996967277596],
        [7104056760428243920,16667924646252133955,12084682980453026169,129489150567792822]
    ),
    AffinePoint::from_raw(
        [4540899342009968908,13586132747539663831,15535520573315791024,518955956180841711],
        [12669179516381423835,7723389003536722340,10095002396907410972,253505035467484311]
    ),
    AffinePoint::from_raw(
        [2930150583624760480,3731356858628631038,15924233388825787778,137460940492232675],
        [17206201008823003401,13835532217272504021,11364833100435633785,534121268180591344]
    ),
    AffinePoint::from_raw(
        [14099646455988381596,5458758835042862176,18187793728905797674,307760292277954673],
        [15458928210063433999,8728947262684003833,3652417947506145073,412408808585593065]
    ),
    AffinePoint::from_raw(
        [522870280285073589,185983738805524495,13193401503575817148,84657634250767414],
        [17234133200063722859,11959631528269752796,132173116197086458,44738516613010332]
    ),
    AffinePoint::from_raw(
        [8416210274786952627,12549276309901895364,1642192160706544912,476804498044421780],
        [12362648987073820019,15487930722986473438,9113371225787439663,494328563120933087]
    ),
    AffinePoint::from_raw(
        [368238617521023682,11736851640695220576,4298330781616835398,26909421742470535],
        [10756004410765605855,10302943495213261838,17803482568687891531,186297694984337279]
    ),
    AffinePoint::from_raw(
        [6739451641836446277,6108696822377395269,6085872398187498464,76847913186793215],
        [12506126510537868949,13754302444691151701,7787705300658614305,485021130126620803]
    ),
    AffinePoint::from_raw(
        [12303415945421940124,6989454490547897690,3880727856508277882,175438981345712453],
        [15340023374066265441,8448259896736137405,10708288390725077710,355992649940313161]
    ),
    AffinePoint::from_raw(
        [14861258541589505982,9836630199614050842,9234529408175905073,547472147788464650],
        [9306199049199835023,5612411684779493678,3436888572196451707,195268342063654529]
    ),
    AffinePoint::from_raw(
        [16006728633102394975,12267877346473032620,14991544643665691692,242256336247077886],
        [17630605408176464082,17208835975699986443,8823849594396971730,351895693795641035]
    ),
    AffinePoint::from_raw(
        [13885339765639011241,16719784448975749666,18222279078360247769,339628221550524524],
        [3800766201387412242,14995823788535406480,11550022711867698941,919643833098813]
    ),
    AffinePoint::from_raw(
        [5050644613109723186,8808656936234892366,3247800062886775555,49053388255329634],
        [3883421687782077316,1938323849246706328,13227987476058698098,92021986854068208]
    ),
    AffinePoint::from_raw(
        [11615378365821562064,16670452244885653602,7527963652929302980,447888878804669362],
        [10480136734275001029,4991132299081183629,17826204567758251670,143178080742488948]
    ),
    AffinePoint::from_raw(
        [5646878913429369130,3043693712499629282,17927732399448866587,79403123563695159],
        [6991959900353966643,13312711059936497841,1066913125561017542,377070805939942328]
    ),
    AffinePoint::from_raw(
        [10608573858655862092,4705774182851268343,1118588678184194080,273484056813345551],
        [12150975923648701594,14464071621139593675,15038883268171911739,7418889103801572]
    ),
    AffinePoint::from_raw(
        [331371966591934686,9297936803260800744,12875591896112865499,454581231501167211],
        [16698938011829721190,17832459965872538152,18254750513068090307,351266164188849363]
    ),
    AffinePoint::from_raw(
        [16152911253179068548,12263124749008335304,428021340624849451,190383739778930954],
        [8644325463118221746,10830400612176652252,5046686890600666909,458625669204250359]
    ),
    AffinePoint::from_raw(
        [1154904709734253444,12781111967448416679,5179050784791847543,234234883968958697],
        [6100201862528194977,5345933482617559862,5929215321817039223,256596123172778469]
    ),
    AffinePoint::from_raw(
        [8407362278514888857,3149538156103926946,9404466592521348216,473166582938160870],
        [2301486782971886850,13286915078113712171,3899369496898713979,504720531117569328]
    ),
    AffinePoint::from_raw(
        [9843202722446663511,5006323206618252663,16277885858361248558,48431242163134946],
        [3900212018089029452,3956934969859144837,16779183752280686066,179614399450989085]
    ),
    AffinePoint::from_raw(
        [10527012257104260150,13757714531394823487,5262979084338306889,556747207268611199],
        [12370064035636185273,7693384964965767781,15910266589599238693,2479326802801344]
    ),
    AffinePoint::from_raw(
        [9741824191891831753,15242681537247172449,4583966316121018101,168192964367223620],
        [15186979337692298615,2446667605283911122,6427797624874704504,120268513605598646]
    ),
    AffinePoint::from_raw(
        [970517628853420362,8397893151774873927,10345024037612006090,96515820912602484],
        [4621100364085082757,14305403396956579964,14874376970897642504,128231868408479191]
    ),
    AffinePoint::from_raw(
        [3829820578548742664,6973647494074018891,17707682896417861590,346100349943650983],
        [14680641938040330324,8844560009391620875,955884633553854560,464578545986450478]
    ),
    AffinePoint::from_raw(
        [11277106145577367037,14382046787531595457,10380174524078073352,24423800650397909],
        [17352302452519592715,15406458464832207563,16877394725825960320,389103256888531147]
    ),
    AffinePoint::from_raw(
        [13810406328279508564,11189363959974632326,7400358575690457130,175121543281407795],
        [8366149100671166581,2858106733715891790,8855324463593826731,461750076068564575]
    ),
    AffinePoint::from_raw(
        [15376324318765558646,10705137108776396727,13910136116605753443,109597582215400975],
        [9522500888644731358,17518567360103277319,18228665542886918578,122842642056582230]
    ),
    AffinePoint::from_raw(
        [9927756177807941276,6516022578752641669,3031482187482994080,134573649159114365],
        [6845957957008772838,13528096134749353499,9784621179277274696,305496748269921825]
    ),
    AffinePoint::from_raw(
        [15746247735638280530,7261193857508272677,14555227694958663524,116197437559317225],
        [12540657002747875849,3749488419142681519,17052316071553075060,166743468543320459]
    ),
    AffinePoint::from_raw(
        [1494919605712218281,15408000307569014250,6848515159062472840,16881333106414345],
        [13886854720296477799,3518842078778363051,429544948086883289,458103241382345382]
    ),
    AffinePoint::from_raw(
        [4954451408151859724,1042062220433175524,398878074883952122,397224375358055830],
        [13330489309691845427,16982712770169273976,13368490092732069867,562728514823413963]
    ),
    AffinePoint::from_raw(
        [10078763873609044790,9414739027273713272,13928483077768007119,393935901873442299],
        [11800078279213427379,18175099242966652324,8342666789303341716,196051447277771927]
    ),
    AffinePoint::from_raw(
        [11810762549910548024,5370924027454926447,293273602077519951,397219153859331786],
        [9254809527774130395,10116600322597982655,10111754503312008261,280260400911853712]
    ),
    AffinePoint::from_raw(
        [10859900395114428310,990611832942103938,12803194698380503690,136707064240472029],
        [14470997714063119097,12773007190450248543,7714862187037582371,304514037561594550]
    ),
    AffinePoint::from_raw(
        [11224769713969698649,16245030051692096807,15384957823966663019,187203987887878104],
        [4269871456376255079,8249677901448480060,4153050724469143992,311548270859403187]
    ),
    AffinePoint::from_raw(
        [6356931418550516397,11837121840831107537,2269232913320424771,554020696530327104],
        [4638739989114449518,8326761208314392371,2920626475800499161,377311186664646120]
    ),
    AffinePoint::from_raw(
        [4206592252796550185,854334726841773239,4035043991354857925,364056359737357082],
        [2344348591628787791,8914437357929370854,14290367052528423278,389689127474111334]
    ),
    AffinePoint::from_raw(
        [17276641727650237407,15376659645119682400,8425517473468537084,157498624371977971],
        [14779787240410352683,11415262125402289896,7727914771448719298,321251225545011234]
    ),
    AffinePoint::from_raw(
        [5156500968683488511,10041179890374691804,14686115696819649719,95787496686532979],
        [11965842939173850791,10164696562340474755,443053775751998791,397463648012616198]
    ),
    AffinePoint::from_raw(
        [453605740655471700,7373508032509913820,12322212712712085217,403859928230208333],
        [7778765190146372673,5885996580756555738,17747813781743902379,457629484282253335]
    ),
    AffinePoint::from_raw(
        [17785960629762840014,18156117954970633104,6065937229823627696,266377916128732913],
        [17715795991536204894,13890307902204785108,5599044595670118590,361761890219339435]
    ),
    AffinePoint::from_raw(
        [4165282835834662833,1735593898665203896,7358104126913156671,493077767800716377],
        [612290071195447483,8575501121114647889,9182693114474307778,351749751138395619]
    ),
    AffinePoint::from_raw(
        [4831712598353749946,7643239571788585,13799443126724142606,470342446563015489],
        [2437624169826805553,12698154110013842759,12366054714916771807,444875415776735152]
    ),
    AffinePoint::from_raw(
        [4104375806856434029,2490800909310779786,6361221031771392476,157936033926340550],
        [231119251679761085,13299437897116589255,7438015360237614557,344105838144591191]
    ),
    AffinePoint::from_raw(
        [15407279186945828035,6242057359903160206,390670923860679243,312300922690942086],
        [10121475455455197551,6349146566279672157,1702195366872714191,210478515872506277]
    ),
    AffinePoint::from_raw(
        [3843431055341954705,498851138113784788,16037654940385586316,575536576985580221],
        [8833923117483885531,7727577907175733485,15172646942711732436,59340782265278438]
    ),
    AffinePoint::from_raw(
        [18021009377719241751,4266592615163453793,15507865583325421366,225103588102459368],
        [8748725734930999094,2651453292595894041,17211832046546165645,541644509912826886]
    ),
    AffinePoint::from_raw(
        [507845824316289576,1118634463111704686,9201560687503002672,292682741313612108],
        [10269301052662689677,3192451293441011005,3828511498490625833,367626980561790056]
    ),
    AffinePoint::from_raw(
        [15883682709704932297,3068639040554640969,7389687734250365688,456745650526975161],
        [5363047296427308050,4484000563065825564,354261485816117485,536440811826384933]
    ),
    AffinePoint::from_raw(
        [9864961804036989152,7240140176647504879,5477462910755502057,75091806922257716],
        [15676873591575399896,3234671714910449913,14031053039763196462,43274105333753494]
    ),
    AffinePoint::from_raw(
        [7859520350890246431,2146227697608833383,8565694095955577048,533063007553851056],
        [2169738243329231916,13915488688420972012,12418406692939920973,302989286289748983]
    ),
    AffinePoint::from_raw(
        [3724560611896259071,11034589098870651403,934166328061101239,19307383175741470],
        [17579463908789264546,13593979336550554056,15081830617125372277,35445010301314408]
    ),
    AffinePoint::from_raw(
        [12746962373866400755,8321207889610831463,7739862650069965316,213882649233585018],
        [8080499027830790746,10827763274893055051,4151270127479037486,39345022063272021]
    ),
    AffinePoint::from_raw(
        [9092756128463315894,3202633324028788959,4574037064517169698,433776815068877973],
        [8791088084148885613,4072870445912354229,738297204054527418,249385543933854428]
    ),
    AffinePoint::from_raw(
        [10885975677385316968,11486449831089580815,11512921680620204665,91993752360604555],
        [6342018633902317102,13055672640016762640,6052837943340864564,148202905378147580]
    ),
    AffinePoint::from_raw(
        [2587736483583931732,7534994812342684245,3016750637123439732,525463702367271708],
        [7453539374720096609,17254726616500935437,18306422486369665688,265729891505859392]
    ),
    AffinePoint::from_raw(
        [12956695380664023889,1158655462846530485,6735634818035901264,89197428578997030],
        [2073887571614593870,5307324835392546201,3972161620556905173,519025710249248575]
    ),
    AffinePoint::from_raw(
        [5426087826063409017,16617688918379649366,16424808453936895850,231639919011772284],
        [11175275400180719848,7982587775055674848,10323589278438962002,473683970563093941]
    ),
    AffinePoint::from_raw(
        [4000678714578878567,15678396399133147310,10976083844046941779,295504922006114704],
        [8757646920875723940,6481673322545688772,8295502535814962836,570109716944124452]
    ),
    AffinePoint::from_raw(
        [801247716175058643,16779792696291668598,4182129865031749031,433950152970983136],
        [15153816073933549139,6272768516207987993,16847779088445549664,402936521379622691]
    ),
    AffinePoint::from_raw(
        [9873767564935491952,17501663072613093695,10778648107171755757,237002681761615225],
        [17843844165507220607,4632565635161679645,12511493083575982334,519455887505986413]
    ),
    AffinePoint::from_raw(
        [6897064029858056143,13883369153023026508,16787142666077497949,367890976005880050],
        [790596537117672546,13501531572617761332,7639035378062494552,419873561088671353]
    ),
    AffinePoint::from_raw(
        [8717839821542854048,4524191842669277182,9394182543962934873,393269216924030713],
        [13045753921955844579,1205250057088294504,12021886838457117899,135883795055308722]
    ),
    AffinePoint::from_raw(
        [11833321198884956467,10478542556530907757,4335950017329836968,494369894205563287],
        [9739930885375368682,13328555955826930610,7630789448743757381,178884893656086265]
    ),
    AffinePoint::from_raw(
        [475907136600339388,5220402313188041889,2624502046281223777,235208818880474365],
        [16377391694684641508,2797403797400782185,9702841796609665982,467925469062421006]
    ),
    AffinePoint::from_raw(
        [3599231128821197221,1129516337504543469,14580358834008353132,299826904856286649],
        [10047951601948269250,7185349513482314238,12929231738945876674,495849031547163566]
    ),
    AffinePoint::from_raw(
        [16525278327285334203,8404442452155179216,13057311114678622851,435909237896209370],
        [110946964650909128,7406990742212037016,13695083690950482891,198883836625143731]
    ),
    AffinePoint::from_raw(
        [284760339194155380,12598169028225770035,9214849967658160407,138762729511619410],
        [15648968647508711983,1699882453766823305,12039819188309317123,220794696969171084]
    ),
    AffinePoint::from_raw(
        [12776240080660397347,8836460134108734756,10482029559034967785,399470428564292522],
        [12330776480813246689,4591170501653317883,700903697412075632,31388303162963597]
    ),
    AffinePoint::from_raw(
        [7900504848453151639,11796105555179406473,6548201230573243746,242298324059613165],
        [9846970411378564019,10915981541635901999,14227850808990518893,163765217149659188]
    ),
    AffinePoint::from_raw(
        [7204519442417683578,15751927664744262919,10062709611088095679,321260128347341390],
        [14655454017368607606,6037735936871649469,11510801057376974457,521176465419443837]
    ),
    AffinePoint::from_raw(
        [12371137676904374952,18018067400199871542,7684446909138832196,165595660070613425],
        [1445336803678272013,4043757254978556452,10926440132065071274,481082617162420027]
    ),
    AffinePoint::from_raw(
        [18075668705314550759,13180057121122600565,15114443704536170758,161524308845390418],
        [2022654480296233984,16785450008807011775,5090463155881790985,13288591426786229]
    ),
    AffinePoint::from_raw(
        [7298621621102447433,344975995787473656,12163034146798871653,317858159705426878],
        [17891604794075825873,42566093320819632,10552567989765555748,261062826470006363]
    ),
    AffinePoint::from_raw(
        [7074255445416923448,17911035531805066154,13645493239765064327,26670959400775212],
        [9080199902646611880,536462976442660091,1599263608083402599,57333183479044854]
    ),
    AffinePoint::from_raw(
        [643068243574395020,10390112996190998390,12926201919220516139,365399023069191051],
        [11402817233845580035,14346673584460974650,14925368825932457097,219637935400332898]
    ),
    AffinePoint::from_raw(
        [14745899519497503826,13380477105820298524,16813645667386201360,75943751283247551],
        [7585277000078989158,782931891609451611,5682443674241399762,5456862732522583]
    ),
    AffinePoint::from_raw(
        [891009817364138361,1531800453873429666,1252529357746363132,115907607627830779],
        [5251479835092354206,12377533186312410223,8632168825627384855,401329430540357825]
    ),
    AffinePoint::from_raw(
        [10624764818563807286,9449863665347766436,13045259388778085730,233614888543533688],
        [7448024953572961015,16820962492419532474,17130761808115738308,209346915749434102]
    ),
    AffinePoint::from_raw(
        [17725095670096031198,17895749594617450407,10317664596712766983,113469353318243674],
        [10761315331355556778,12677455252687186869,15247956712184530062,218273889901652364]
    ),
    AffinePoint::from_raw(
        [13385387597762457507,9370502026138602178,12025699564509669468,289901920783506941],
        [14230783142122761982,12239243051048419976,1458662907350134951,564756089976430078]
    ),
    AffinePoint::from_raw(
        [2809410144453802689,1260073164496514439,18254085735969140299,280647120442626267],
        [13972402354294122788,17399640548150837494,12331629642929169898,405587095442613971]
    ),
    AffinePoint::from_raw(
        [8512548630511506932,13273620773907991449,11477925034305800510,536092258794719968],
        [14315293137965549184,9932226394984982005,8758710038125774090,69543045344810763]
    ),
    AffinePoint::from_raw(
        [6593719217952131836,1685812532732776392,67897199624469885,130756362704513101],
        [3186874213468970286,4106250442649518558,11034118463235708749,271361528871650042]
    ),
    AffinePoint::from_raw(
        [11410460024977839924,12634884507945796005,10436860590455686397,471795460319606565],
        [2703398770675698314,8127300897526905180,1192307481780329481,392070692190049787]
    ),
    AffinePoint::from_raw(
        [15097081155282767312,4559147678765770969,9673510617761627574,359069816882324900],
        [10019213719381239192,16811140785929731372,14114739762778200723,281512121940637531]
    ),
    AffinePoint::from_raw(
        [13087289970125745311,16839228020286181140,7471306025209552995,440255589470720966],
        [6582075697064012918,12411322796171061714,13366562235161072754,283654905627096576]
    ),
    AffinePoint::from_raw(
        [8099844122086596043,4346450266181245866,6649295606235522445,81921798904471171],
        [10404768220233896885,1891947279791745207,2715142179794938512,415635893417947171]
    ),
    AffinePoint::from_raw(
        [12310519941592448031,9698809620811605557,18300785090323020306,455182277135476416],
        [10154128493451960704,3694109143856198391,254257353660079656,219452252283569011]
    ),
    AffinePoint::from_raw(
        [13323817637665557985,4808216114098249570,2349570983806611447,168331463623477544],
        [7806011926611907195,8430590285239107731,715212580166621773,470016639946897772]
    ),
    AffinePoint::from_raw(
        [7521812620724374380,8960833463697888395,18314400082006005043,155915120479041915],
        [4974598978420330552,11485878558030425164,11268781665940767890,200656926990957169]
    ),
    AffinePoint::from_raw(
        [704948586481945634,2423354036059468494,8559322141682548452,224948182781555307],
        [13848298597562937089,13390569953058438950,10254169266208557155,573814300175147024]
    ),
    AffinePoint::from_raw(
        [11573592333498287066,11594401024697714776,16192623884035028820,74937459013487408],
        [4091875118893834611,2522278065266277627,11245785488009795360,399696368867655810]
    ),
    AffinePoint::from_raw(
        [7842267061925889619,14546135658629421442,9729954597877736113,335821311797008379],
        [3583717857547442038,340780134620841144,5527899106957734586,455659619963690194]
    ),
    AffinePoint::from_raw(
        [17585632280777129226,201924571768367614,18417627978496886907,404609761534379968],
        [17867920030990965878,18134554756397207952,12065825809417989700,515753487945527376]
    ),
    AffinePoint::from_raw(
        [9153097915326316131,210204107522776876,4817737846454798216,480656601025371947],
        [3772744862980716245,1588908078106449474,3902587219737454424,216814731754997135]
    ),
    AffinePoint::from_raw(
        [13395763666599485044,8361296042375809291,3833314308087675932,236771668580431863],
        [17967372671701659780,9424243594920767456,3996708181785809077,455444696004753358]
    ),
    AffinePoint::from_raw(
        [1710810526983816768,16092979074300179134,9597524839944710916,324717812981562162],
        [84151537933885562,16687384933214356990,6747350480458937947,207168157337348697]
    ),
    AffinePoint::from_raw(
        [10526383553180865878,3417398375644253524,13944417970261470850,71805549551602923],
        [13345215080698135880,5221671964156067749,9432522161645370679,397240945361102019]
    ),
    AffinePoint::from_raw(
        [510222679856417083,10019710470358385391,1235937226336739489,98356868364614915],
        [3775596063198070801,744434634813253008,10496978303341427897,488986181407728240]
    ),
    AffinePoint::from_raw(
        [18259234502604475232,13362061338091727833,78420839162344467,137956274791734662],
        [8666735013767339455,1005093600146773824,3004741192553339958,575903320309955684]
    ),
    AffinePoint::from_raw(
        [8445374567150925223,14600545299285857488,7047083081836361692,63914460672130498],
        [4996334806177450524,975254287669442693,17540483433806778134,366819825082258996]
    ),
    AffinePoint::from_raw(
        [14832487118055897706,16511681977918221006,18343429964971813275,99839834824596603],
        [10380981520464228891,12083740415805811852,4472481498138267706,514660336424567865]
    ),
    AffinePoint::from_raw(
        [15145314530020666283,11737590344656639851,919806492232700942,428299581974891980],
        [440300132503316341,15943382372060793070,1072767348032141543,155365849126007628]
    ),
    AffinePoint::from_raw(
        [3973418119316697445,6929222200752563813,1102172740163610402,297852044320407750],
        [10457919312931264232,12689735469721976270,15789259589346843279,516937339309009755]
    ),
    AffinePoint::from_raw(
        [13492690025732757410,1468249471184140257,11035796368896927053,139294738412949881],
        [15331312012859921816,8436408528701950335,8519594039102693704,74191982726884171]
    ),
    AffinePoint::from_raw(
        [1777196216892159626,14212559533735407545,6298876448730792407,189647437643948575],
        [4761393080230411229,4823675796657009440,11490835635408964677,489498003548952016]
    ),
    AffinePoint::from_raw(
        [9682836662177856966,1651739970209978883,3914773572441543350,208084075283161737],
        [4604845188033878287,2418091432970153977,326942567465720876,150324136108502628]
    ),
    AffinePoint::from_raw(
        [5258894183311605698,13086917111133060461,11561011876162664303,120085526149146498],
        [1855760918582326327,14486701678934460562,10561200028566137216,489265625154359341]
    ),
    AffinePoint::from_raw(
        [10232444541692118411,12819854626345744276,10345501323002648454,508542803545218670],
        [15729007717025275143,16948960407752178089,9400048725890200099,141424648035275599]
    ),
    AffinePoint::from_raw(
        [7499957326198246844,16933304729407372080,7599756596438789259,204965383646996047],
        [8956257696251969692,4772942659183959687,8468609507522766973,355717116429874341]
    ),
    AffinePoint::from_raw(
        [2055309137359244491,8798151366274270178,17932270440444120255,220516196710710409],
        [6552490239699727585,10661824170832456111,5491955484905086663,129196785501788637]
    ),
    AffinePoint::from_raw(
        [7500207072052631065,7877795211784641877,18015595970915344667,489716171592631851],
        [8208514465656704431,11880783333854532844,10342252637080708391,302534351558202041]
    ),
    AffinePoint::from_raw(
        [13337294542947595645,6846219475264436573,3501022998988296278,384623188550624232],
        [6802865364581112677,8517754291063374532,3472487942581463851,569375376432199148]
    ),
    AffinePoint::from_raw(
        [8397898754533171063,16585317384092140656,17451355223028452474,424650078693704498],
        [9147488870069997410,12768759854949373310,10508773080839310002,301194339728913389]
    ),
    AffinePoint::from_raw(
        [9863516266654726478,1163130401475719764,15247532919191566410,174823021044385976],
        [2907927192647471072,1406613283025592462,17653709827098725908,83053790093925913]
    ),
    AffinePoint::from_raw(
        [10680622895656574063,9440030741997326637,5331689074570744716,515561151722301103],
        [13281066653451951442,9471404575719800248,18040190651284058197,414981286557371043]
    ),
    AffinePoint::from_raw(
        [14737558069990670581,4448552613108549793,7566490632040346388,390257748694112291],
        [7726105655801500892,6739460297377638030,10078148613487072134,242858811953224352]
    ),
    AffinePoint::from_raw(
        [3548792743475128565,12990134853021917164,2429969639709119541,191912998868259842],
        [13207658880952813595,5875728334598660315,16550480784952555883,111911273974336975]
    ),
    AffinePoint::from_raw(
        [2151297891997564905,2382142879967142606,912354672084044957,174302299667454749],
        [5748760781210774053,10310613831017683440,16511660914484945758,312914332245443869]
    ),
    AffinePoint::from_raw(
        [16539470413148671174,15934862278382857843,15328534602405595609,116558102909283534],
        [14422853327756434188,8313513668985987273,8054930438601068554,295071914886709200]
    ),
    AffinePoint::from_raw(
        [4700007300700926663,13115018423403244299,16200149056160599850,427870204591795454],
        [710169916911025493,15780742194984607104,11625467482989115151,37370272000942140]
    ),
    AffinePoint::from_raw(
        [14315437375746619883,9712895755108289338,14120257368832839977,36991966181711402],
        [12549806801300445203,7154088383209368937,16320353584982067668,131395816311060920]
    ),
    AffinePoint::from_raw(
        [11129965545422881011,6182935457914980239,10799690555402971414,256155765977319196],
        [10895373857606815573,8471763352200683446,14427370326527850248,484966547375529377]
    ),
    AffinePoint::from_raw(
        [15028905992766766089,14032884747833881229,1943209948112650451,129784229356268294],
        [8228846963695934761,7233588796803243809,16019705962458048296,100492233563896573]
    ),
    AffinePoint::from_raw(
        [2448223430586759705,16122001237987170260,1014228476229343646,256484057598595038],
        [17542289422085334384,14613326529146705556,17675679971283172400,159250741807480883]
    ),
    AffinePoint::from_raw(
        [9380404922543665902,14120435631665750304,17872991824469343474,255610356574491958],
        [2473020256677228922,17226157556373721488,630798224361496145,512620197277910847]
    ),
    AffinePoint::from_raw(
        [10143420279208710624,13863657028581608569,8469696275322133776,269460610290748951],
        [4201427544054653740,15436039066396320496,3580126881883606539,273656649493743598]
    ),
    AffinePoint::from_raw(
        [13287792550881208865,14370170733407486102,17066100793904214300,393363186110761344],
        [10737378644782271702,13374977913921441393,2217228908682643767,518579697955112290]
    ),
    AffinePoint::from_raw(
        [11750755579460023969,1180377306330481256,16105431800376343363,398850506179372673],
        [6877553683261514448,4342958978314977424,3242517875437726491,276281128874402652]
    ),
    AffinePoint::from_raw(
        [2866014466055009439,14538932993256763562,2790807962856594609,462003835794514143],
        [3015902248726155903,7580333518092336057,979425238717671829,281148743428385860]
    ),
    AffinePoint::from_raw(
        [2398080285607699295,980696683541286943,15172467504039419702,72149958925004065],
        [11158547637057542053,10747032297546092333,6630941079531252420,228795958773865201]
    ),
    AffinePoint::from_raw(
        [10621501559794408054,13742111282332586450,9481654706945127784,478581869661683484],
        [8811032828608375333,4347456493104233273,16661389281577011704,130263454593690014]
    ),
    AffinePoint::from_raw(
        [10892636025393680640,1889933614388070287,8989803577183573126,527276367435824492],
        [14837373673238389483,8037198445940459634,7319591552300625690,167400988105490327]
    ),
    AffinePoint::from_raw(
        [11719727457155736885,4007709495083823932,16647826263234300480,106364706012637640],
        [3633467269532908350,2817485374649588155,1608457776737257358,531288785102292898]
    ),
    AffinePoint::from_raw(
        [18111262262249155524,12221442491984542636,6384034641281016798,48779200959401908],
        [12114720973113953925,18317598397825136794,11745426369058012620,232443390783605176]
    ),
    AffinePoint::from_raw(
        [2757723654755203053,9698613465228909225,8601872115708839051,460946350433913112],
        [10911483350724853512,12777285412190278584,15139559044337611059,217820446269191528]
    ),
    AffinePoint::from_raw(
        [5192588088159259140,4378014272298217256,6014630281965165426,369370260452532805],
        [1797764842568094196,16472490378141462816,9711727787093627672,124270071606870378]
    ),
    AffinePoint::from_raw(
        [5753493801341461945,12517421908756253034,3631616954285137613,153338293313568073],
        [4222249143185468305,5593607323891941128,2346635026597345638,89031254677650951]
    ),
    AffinePoint::from_raw(
        [10705800876528687218,16136008102388423237,15657942935626809756,249648990517574277],
        [5616439786465248978,2052453637863427256,13789231437063445860,85166244738624155]
    ),
    AffinePoint::from_raw(
        [12113237003371721801,14054893024237422041,116862148894933411,43358167233179552],
        [1260001480063530677,9238565545433365192,16139656967564175387,74856495880791959]
    ),
    AffinePoint::from_raw(
        [17365879696632555924,15781465673653007739,17275564652924167599,320627272528593369],
        [7006940383038972861,13347464101028609192,18184573861735036454,328064152086880264]
    ),
    AffinePoint::from_raw(
        [3617714444139000983,9904480676360974271,218903509623356938,409026733345114319],
        [4689146083991911200,14863452758664096757,2385345862385102980,261260614820528370]
    ),
    AffinePoint::from_raw(
        [16645443397937284344,16671063032505456193,15275686859976619939,514055555961469551],
        [13015577952839800201,15773027357741842481,2618042612019946916,386086431247008587]
    ),
    AffinePoint::from_raw(
        [17518359891912665125,4276388436828094197,4529507159714227516,230404953612270554],
        [10554236197085030561,9127635730666920181,16388493247761613034,229015701826057255]
    ),
    AffinePoint::from_raw(
        [8608868256141258541,9138018341216952027,8935579651948863736,178050984033301111],
        [3944684456535180651,6086867145763777873,11884304770993150827,116560453706304832]
    ),
    AffinePoint::from_raw(
        [17277459311197696836,9519845991095573787,11437401433276014165,328048097278343184],
        [14663839616782923168,10271331575980274696,17261783584565919499,134313892189654095]
    ),
    AffinePoint::from_raw(
        [603629679151405910,17669608326046355820,5101229595965340813,398343513913226311],
        [13159973126941276392,12453848811404974553,4854462655492590585,52697409230941753]
    ),
    AffinePoint::from_raw(
        [1425351441887891197,244324910364820920,9177949887320948708,252031170145507086],
        [3604883341385608784,15656087876384439943,907708279657731360,289291954388702857]
    ),
    AffinePoint::from_raw(
        [5700744939787727518,16479269379556468924,11389710470661645680,214816024919092621],
        [7026592787297276429,518380673053778167,2959050540519054947,156195261824019798]
    ),
    AffinePoint::from_raw(
        [10620480413926898974,16371247060348956009,12504940633405421545,305819701565599699],
        [8102446388957154123,17391695212257127757,15312921270449464372,436073795478973172]
    ),
    AffinePoint::from_raw(
        [11977897235057574632,16161724698661247742,6216304053721837756,193247954148193577],
        [17599009507856704980,5723891702834495750,11813551992123979832,499885593769876723]
    ),
    AffinePoint::from_raw(
        [14912310249767219175,6535107618844458894,15063524337244695618,492120843155480293],
        [16977380070289894190,17134860960604982740,17387449432935257506,454913882761615146]
    ),
    AffinePoint::from_raw(
        [9077444194539012749,3336311441583816764,8081686639626752372,449175142271154596],
        [10847503710460247072,15136674694856627965,13636467535249011870,347062847556593982]
    ),
    AffinePoint::from_raw(
        [3965458734920741586,4624752535956113395,8048690949332163740,320362785031343070],
        [10064820175083910803,13539558088066742981,5298416549225338371,386342073325054878]
    ),
    AffinePoint::from_raw(
        [14026240906293306499,18106272175429019230,3450453169208351538,71379456564179088],
        [4755406550096375283,17539374664537887647,4658185218715151434,38611577291103962]
    ),
    AffinePoint::from_raw(
        [1520730663266495573,8928508856356486490,3409639538589510868,273851640668197407],
        [5844061031641312797,4693161604683500002,2631811736742148982,27229359392453511]
    ),
    AffinePoint::from_raw(
        [17532357449511505603,14699364748005435333,17219576105927758696,217929794188256822],
        [9026228144164435822,10607977535507459893,6615706638172253973,339083596816410204]
    ),
    AffinePoint::from_raw(
        [7075208270839905825,8446656941794157097,3890201208021480369,148328284046505209],
        [11896806358473305609,9816036776489122551,13660170822613395804,17110444532842108]
    ),
    AffinePoint::from_raw(
        [965704553083433109,15396382663416173416,10380659461695164596,265097844381033133],
        [14789047522882312200,3893260462333824501,8251370861552285153,158070785999177261]
    ),
    AffinePoint::from_raw(
        [1883944234163055194,1825659904015840499,3853708427289704390,245127263369232363],
        [16088043577887981596,12595782442044343331,13850733632554209603,416378488253266563]
    ),
    AffinePoint::from_raw(
        [6018722038812030153,14588467610649400736,11891478996403415184,564632065390048474],
        [1928849079542767776,15920601527197067956,9091841760449150500,128831566402455081]
    ),
    AffinePoint::from_raw(
        [8210556522768093902,3369609218676903558,403329177735818113,133313400547302623],
        [8540263349500083003,5301485916093085888,3724678612411014857,294181940152535689]
    ),
    AffinePoint::from_raw(
        [14295208238483792055,853100980965647413,5696286457564780224,437327615187965099],
        [5650178014376544836,1902286288931601575,1286441983785538759,8856220412752306]
    ),
    AffinePoint::from_raw(
        [1044338852706696595,10409329761348230681,5090850295908267137,99630081776844521],
        [1103886798280266326,7339447696900725908,516355860324860535,130067660653317318]
    ),
    AffinePoint::from_raw(
        [7942814747070604078,12469057376126913891,14458210338635134330,116469340366690173],
        [7591108894470016224,11901310288039155863,12756034683553114538,159946359309484904]
    ),
    AffinePoint::from_raw(
        [3408740448221518611,264077132175459506,3235255415293268021,370659522622921432],
        [6522788787183970795,17183908281660254674,587546011812502441,206035502923933929]
    ),
    AffinePoint::from_raw(
        [5748367619430891164,18015001187160330663,15483282096207411322,253151151447772561],
        [7231242741551764613,6231343050711534307,16425582147939306131,488156933546003144]
    ),
    AffinePoint::from_raw(
        [15895663070714184250,15921732376284763487,5762623985005498515,249470771632214351],
        [3145049009852750077,4252439969064501640,11161296258803648421,397449835411315243]
    ),
    AffinePoint::from_raw(
        [1261972660393655257,11510394518347954680,5563026475506484523,319349349187329826],
        [5910695909589295483,3475158362071158743,12913650054640799887,159195664045910399]
    ),
    AffinePoint::from_raw(
        [4222400651630642575,10967921430673293141,10181080271980473221,486452087310186433],
        [8146218316378102163,14886040889261468053,10643202695223259726,425769268789255899]
    ),
    AffinePoint::from_raw(
        [11256127755063932706,11024601398075243428,18073817543619690442,349327518138519610],
        [9039041490214222185,6750296824512537588,4498403826909567093,337311404168227609]
    ),
    AffinePoint::from_raw(
        [4574914576575042613,3091954383842157692,10666133975891482100,382280208175141682],
        [12389076666288333434,4999271510141224154,3614115502458883104,218852289307776305]
    ),
    AffinePoint::from_raw(
        [1946503448670506855,8790162117258242297,17803260240666045406,189373894475757612],
        [1574186647947386709,11793085628823322585,3651753033188571670,486059671766241843]
    ),
    AffinePoint::from_raw(
        [16496296830499015372,473194676118328887,15223696713320270631,190122468241672215],
        [10499059197150349128,13973618745547138411,10549633491526724371,34445023120790704]
    ),
    AffinePoint::from_raw(
        [14539442639754035347,7942021990125516194,9932301147433238394,109545976538512787],
        [14306327795474101091,12906801782691119466,12067257369697007985,116366818029151821]
    ),
    AffinePoint::from_raw(
        [2526074393981571479,15497440179092634285,8410500965151300151,195179435480539765],
        [17014766440785890901,913959916352215461,3245931415245815553,534700164062712720]
    ),
    AffinePoint::from_raw(
        [7410327695042757342,22697610555229594,5689150865790700445,453760589153872752],
        [17191124157684188666,12152128193958142104,1114306646863579192,336738908815313087]
    ),
    AffinePoint::from_raw(
        [9391920750269348935,10396295401894533308,2764881520887571000,57876149566631308],
        [18169981172371953337,4781453815496194720,4461097432667627234,51267107324814978]
    ),
    AffinePoint::from_raw(
        [8474534143757339090,10308454470427377784,18339999884131048631,394694699240557162],
        [3126822067771088623,16972478804049822409,7439508765302762132,485895157536354469]
    ),
    AffinePoint::from_raw(
        [5768147876021013855,12092363701879971797,10198758759922493754,160759342141531827],
        [5031976999583502172,12148385691496338002,17610127418780548165,454953595568405197]
    ),
    AffinePoint::from_raw(
        [840952528920781759,3686030569260269950,15451123830535368857,31000408885488237],
        [14433118077031634809,10331709864569909241,13961109218943209875,207911461605498754]
    ),
    AffinePoint::from_raw(
        [12150395328312262659,4595514163155758882,16769644936164603819,81368788505994354],
        [5450203713819317687,9569997620882405582,7839052591100128821,126428023466924575]
    ),
    AffinePoint::from_raw(
        [17779081232944315908,11622442818913355560,6167039803574204249,232948292973121042],
        [15555361710262306242,3178231590545356441,13284876833319760183,346667684548113642]
    ),
    AffinePoint::from_raw(
        [4484125527935727506,5453023471478063664,15521138213403072572,429618971250933534],
        [2639599157327128522,13800677295677499296,12945392235564578706,429717071023554411]
    ),
    AffinePoint::from_raw(
        [9739089795001727635,15476917703980443864,3886269394581929781,350583132885942132],
        [1417169376888756459,580774863111655830,15724500096779186575,570407986465822545]
    ),
    AffinePoint::from_raw(
        [11646879167761283953,4571022143458685004,18313319875979736133,204211348270420012],
        [5443036091052367144,6455454513800298835,1010058500739874451,2243467344208015]
    ),
    AffinePoint::from_raw(
        [8840475608428074091,16428234195516867322,4850804559350184997,359556243150298271],
        [10826215352618200471,8777396475647882783,6269531594850890856,200772935525401918]
    ),
    AffinePoint::from_raw(
        [17965446746691911745,13791067474389593445,7101495821842255882,483427310935884904],
        [10308713387587458267,11089589850957710717,11266523106368327853,140206272142466536]
    ),
    AffinePoint::from_raw(
        [16151155169924862756,7655251505074654615,16767256023934369686,523594768669154981],
        [8001952639060925897,8925824650698202777,8107391398106676926,490741249338063235]
    ),
    AffinePoint::from_raw(
        [1618016116529832549,7818535907644114066,4923737580475831513,373296997060562614],
        [12891733626783359738,17592971903469732841,11442776515215205522,278852872144870556]
    ),
    AffinePoint::from_raw(
        [8401357034245993078,9016309914179535239,7005644207529210057,210339134067145552],
        [7726294730288410706,3290008895602093724,2082846070255810931,517240098297848346]
    ),
    AffinePoint::from_raw(
        [10630351079033911712,1626117852303638129,13161370021934709177,281403723289877763],
        [2529071517495032862,6124172780643190093,59976401865838691,14562997884985813]
    ),
    AffinePoint::from_raw(
        [14312877188333353607,7636565332287430030,14627832829110796669,27774779097823711],
        [8053805050689929567,8810329933577033442,10064271779061214668,506697547434648457]
    ),
    AffinePoint::from_raw(
        [3736203055272843550,11673667694940901744,17191261896203020987,481401976940823932],
        [4638736177841112554,3789167937871670380,17656413615251698846,203369856792900820]
    ),
    AffinePoint::from_raw(
        [5959488478329820197,17326559828777363031,1159513350817638347,348356188941800536],
        [15234056540637114189,10344900741749362729,17652105566727734381,246311335077524030]
    ),
    AffinePoint::from_raw(
        [18284239525679604036,14529703414110167359,16297145331238231744,404919611471190731],
        [10307825598667012735,1092201960141804918,4713172464670752800,352134483517491568]
    ),
    AffinePoint::from_raw(
        [407097655996696532,17825012006759503168,12641692856739713771,263917423292397151],
        [8172388741696905333,15429529656909836448,9568274575000769123,39229685138922552]
    ),
    AffinePoint::from_raw(
        [17427332803539296993,6832088838550925623,3690800757126242845,274831088074068701],
        [14010893756890688912,12286733378935085666,7717204821014404172,94601630907980160]
    ),
    AffinePoint::from_raw(
        [11447868386182478567,16419521067385801727,4289045021307507262,357193533065813451],
        [4873506195663309852,1453692061888464168,2175640963344758054,195057887817927391]
    ),
    AffinePoint::from_raw(
        [2094199281261271001,5058570038420401997,15559433923105522190,257594937252919832],
        [1430835688552492475,11631470507980105367,8593078652479529873,13976925969277228]
    ),
    AffinePoint::from_raw(
        [7721320692456427692,10174351886017785442,10628501120230577911,310824514144885050],
        [3018033710295146187,11499569650029732381,6591622924144259863,259980418220038569]
    ),
    AffinePoint::from_raw(
        [13734295952193095092,1415372244212634100,4384137443287985701,454983702403740666],
        [10533233820259402426,9629402835828453831,8154287340904315470,534055107297734179]
    ),
    AffinePoint::from_raw(
        [17896536537576917098,11930669223796051395,5958318750798600295,181972144961170250],
        [11293258105750141010,9377411765951723005,12747479915032348061,319179216565795208]
    ),
    AffinePoint::from_raw(
        [1710643911722939700,14877110548366985493,5360638580735981626,426506643725904975],
        [17793338275620686685,552480728050797418,7136141386537039173,259085314882287166]
    ),
    AffinePoint::from_raw(
        [9453936239743147739,14463803338916855590,10091724289245575177,94431230830244874],
        [4572872915282114383,16983754859725739941,7381405871687748545,135604269335709532]
    ),
    AffinePoint::from_raw(
        [8587586709411873336,7753688553521871542,6692567284966823628,238274668053912167],
        [15835417345811004001,4057030831857060670,1960887553523466677,461378649622505174]
    ),
    AffinePoint::from_raw(
        [4504828497653231580,4956910854969039898,742674420973364116,413894080380236287],
        [4141664259346905537,5066551024278857673,5717717364715189605,217726770803075048]
    ),
    AffinePoint::from_raw(
        [4332095818213875369,4982338608514429533,11561813257876490943,17680448479513317],
        [2870776751218597691,135544161188653311,17174087357452956414,542082181464852516]
    ),
    AffinePoint::from_raw(
        [6270689879745667167,10704754201189439674,7977593593860264149,38968111720153226],
        [1020549820855013503,8457905218128094663,7917126634954105226,132288639245788998]
    ),
    AffinePoint::from_raw(
        [7341462866260187998,2069835658204074136,15785024864226154513,198461411431309992],
        [2592767123978040977,16468535077767684290,2465362429148721558,352719418875631210]
    ),
    AffinePoint::from_raw(
        [11486264699692701854,3265822796446002073,8269508146398303075,360812845949463334],
        [11170520384318118387,5588990258703983849,18080328967439207441,4883201710071045]
    ),
    AffinePoint::from_raw(
        [13741200204166721264,14680139918664646257,13073977733567702193,48774419754185737],
        [9248194297815214452,16460939439640270736,16869296746014159802,260994733184776700]
    ),
    AffinePoint::from_raw(
        [16998210217287705500,1444863056555265155,10682251806020509222,54017584120951499],
        [13938819509783960259,11669573667804892962,10899108184839957909,351417516824897665]
    ),
    AffinePoint::from_raw(
        [17016901515216892072,12021868907784859479,16256663796299963672,133067924568744801],
        [15158872912698769685,14517749536181801063,738267913999998378,265066347483814364]
    ),
    AffinePoint::from_raw(
        [9635423370035091193,1962898825644068099,43608287808452287,470846613459590727],
        [6250735840947419169,12290267524988666466,8412351465976199364,119603787831080041]
    ),
    AffinePoint::from_raw(
        [13400089040255921675,6211155833593964566,5062319234242862418,189345169741915198],
        [533581092117504866,4088764904311160921,12103542862561278135,304341618052058899]
    ),
    AffinePoint::from_raw(
        [12308405114886385661,10161427282031525161,17705132779404224866,384989789933274465],
        [15747043538824850768,14721701722564544897,13791908787850730593,89938135606088249]
    ),
    AffinePoint::from_raw(
        [12544731441382358793,13933428898106841693,13580556933268923693,284445312724902365],
        [14354325116340289824,7181041878358153815,7144902222312236179,162391832109737306]
    ),
    AffinePoint::from_raw(
        [1180938727365528104,12271244493916760376,14476949533332812137,364398342469013075],
        [14349838327248411332,12149131426011429771,17174696691789429444,127256588867812059]
    ),
    AffinePoint::from_raw(
        [15825911096826747835,9278983983476209062,315710332323134429,19858445762679212],
        [4319053339395912577,10609949202016627590,12771324387554852502,60634017791639825]
    ),
    AffinePoint::from_raw(
        [4629377936295045041,1307748191184204057,5399308205211091535,93354811591289963],
        [3570075148625785116,3272962100291337635,5632686282699701895,177496288719482830]
    ),
    AffinePoint::from_raw(
        [15645610735632017419,13951186649673949365,15727191979300490153,284274703919538346],
        [1353335742154958387,3747296397346792377,18181993116118142213,101070469304365888]
    ),
    AffinePoint::from_raw(
        [2596449471374795621,2094125446523917062,17874724621557246129,138007353082497499],
        [15993792996255515876,15358247836853948456,17327019727762016473,258075180650247242]
    ),
    AffinePoint::from_raw(
        [15507326013478866300,16829017422175648910,15632843662540316001,506007505591778446],
        [8180884928422191748,11746490641545692185,4407359774308817846,387907229669477876]
    ),
    AffinePoint::from_raw(
        [18067830600143547448,8355043112349587098,14627031425670282471,424177260538711608],
        [7704549686571346455,3796970524157026030,13039961585331824801,4765670935457457]
    ),
    AffinePoint::from_raw(
        [18218075229134648281,731163516598278264,12408786734012977716,471339580440654123],
        [11396944416602729778,7941684001755575522,11900024657790657999,79242475357602372]
    ),
    AffinePoint::from_raw(
        [10298885817075942937,4001214628011751471,804640090885422037,178651303084168811],
        [1779520486617569094,11690525570698271135,16256734114028880257,543189833634714573]
    ),
    AffinePoint::from_raw(
        [9683206890329853339,9263211446232784287,10163797667010542644,429326455819557071],
        [9811607149403697783,9949549801778494072,17592638304409857993,110771461404527055]
    ),
    AffinePoint::from_raw(
        [17550246092170059607,17440888985216746765,10578123696652223101,117240752870465343],
        [10670937530760400837,6597836274425115307,583950939623792285,176820738847030938]
    ),
    AffinePoint::from_raw(
        [18032560454831769456,16466069861699352326,10408903453211137957,31904563422862707],
        [15966411705833447400,12592936420149806005,7375863409347070710,85200869214428896]
    ),
    AffinePoint::from_raw(
        [6366708879193301903,9239974299619528465,12376424724610932075,131924842488072940],
        [4821273899051149973,8283530267423370747,11582519862947685852,35388428182019928]
    ),
    AffinePoint::from_raw(
        [12393417460919197163,16990019651442003520,7362181268422938439,502731617112654433],
        [1041598699540303395,6297165746543877429,7170247396677772428,189985640139153389]
    ),
    AffinePoint::from_raw(
        [3193758711557926863,11853892748499593846,1287916061046964395,193304953649649098],
        [6833686821763236783,15165215950624327504,17601632891355974208,9062189538837280]
    ),
    AffinePoint::from_raw(
        [18182209282129432174,4177821442615747653,11633032433477718080,114015266156831901],
        [7428126329644426903,424899423718557359,9242043952105840330,334875977253026225]
    ),
    AffinePoint::from_raw(
        [17041879466708444056,17574335423304629625,13921842001806260865,191338516961949394],
        [11758940517062245634,5263554125527250547,5505173818510283192,42880864207087169]
    ),
    AffinePoint::from_raw(
        [3181424706304309985,18345426305074717292,9332431162683570417,549366999073972127],
        [9661018898593734815,12009110137430851114,8101282808297074039,337388455161202787]
    ),
    AffinePoint::from_raw(
        [9590638777586109222,5334314987815634712,13061033581222945142,491394670431636921],
        [15871189693918770725,9671942313616614506,10221753975809777220,452580864567370641]
    ),
    AffinePoint::from_raw(
        [15593686797802603640,11950483228434145046,1636258482863764378,21036422120183272],
        [8037072144078675782,2587977262113950201,7622818810322243439,39865791459417514]
    ),
    AffinePoint::from_raw(
        [11525369476001735253,7412209971162908205,367181216646274373,89969033529084231],
        [4060972035669939645,17429443960957986645,15021016170009332121,6898527564997704]
    ),
    AffinePoint::from_raw(
        [1659040545505403196,4917562630549096601,10955446365999245073,85895220568523355],
        [8002361059882623037,6199744285000626056,14299586290941723131,105228489390197175]
    ),
    AffinePoint::from_raw(
        [8947937286460843239,17882004312618466900,8408259505798116182,203364168692883670],
        [11531719155149592125,15990848999493489987,16059581916369456147,51785540580547605]
    ),
    AffinePoint::from_raw(
        [2297618413005308843,11316632386505569100,12138000508190102748,267795336181401971],
        [8756589323030921953,15207121248637293819,17067487697215060994,389236592620850076]
    ),
    AffinePoint::from_raw(
        [11871752793796459020,12106275828409538674,14480442404198177775,426795439856158586],
        [6539059906702498322,1625622953636155412,14596874562788796575,138692546952522844]
    ),
    AffinePoint::from_raw(
        [9962199871268608084,931446839538819211,17146564597874347659,78748713295105744],
        [10063798638424152429,5105163125134808755,10460814493502793780,15102118050194110]
    ),
    AffinePoint::from_raw(
        [5583183211531801590,15495581629260813919,18243716558914042080,236870824627762082],
        [268712864117910975,4912038902048640795,11003354264956225772,349203157669177324]
    ),
    AffinePoint::from_raw(
        [8966904266358539528,7714667492465227418,18327797319025847889,367897377945464003],
        [16139727321250971119,3323090986095447314,5782692200308773229,221620533242335221]
    ),
    AffinePoint::from_raw(
        [14031364822759525316,4588627560183899638,11113687389124815298,533155576803068485],
        [13284584248194510323,2072600853172894265,10759960404983218532,119953530047369358]
    ),
    AffinePoint::from_raw(
        [13072606196589284011,2966113271683710410,17633989618948271216,239165246775703971],
        [17093353533553874010,13436235730103711489,7071814306960691881,79924871958762081]
    ),
    AffinePoint::from_raw(
        [10021976660144936704,2836560331222320632,8895580547370957777,60484697094361883],
        [2204292728775590613,9837273241450465577,8266484847995268945,506890474988682003]
    ),
    AffinePoint::from_raw(
        [8419802197533400002,12405273825290371382,15907100819744492987,533782619682016707],
        [1702328560289277329,11089837396838680787,2767553270038009622,387004823166645283]
    ),
    AffinePoint::from_raw(
        [8042579450814117263,2742552841192205686,5135365779339449802,346919650615345318],
        [2468393118241044026,4199796040761659387,2544658840040954698,269807219640548048]
    ),
    AffinePoint::from_raw(
        [4222559505588298691,6958694923989818145,3877992007758648748,289245649733364100],
        [16331323308646660244,11239269859283503496,4266919811995223616,480919586515784983]
    ),
    AffinePoint::from_raw(
        [11331591620042943228,12495098566825803270,7745441188429727474,225757037497737768],
        [2238451960924806523,10371629014040777740,2956563688613003902,115437194938567762]
    ),
    AffinePoint::from_raw(
        [7654708446590077790,16925642952656422151,10102458600588844718,36628937632514701],
        [15707270229658985342,3704898742326117433,2820536885531263150,407315742639511279]
    ),
    AffinePoint::from_raw(
        [12222880385672438844,5888765142785761639,13044586531332725670,352746267435232618],
        [15885442665424359840,3899603755672746726,14689112701592463574,500262502439949016]
    ),
    AffinePoint::from_raw(
        [2270543078408195468,13706194570841998041,16974664287199567596,370678064473255702],
        [1817358670423672167,15048783855919570304,11829370434080600653,310913326766908817]
    ),
    AffinePoint::from_raw(
        [11507076736417144391,8832880809600098672,3221428486788678765,80967645646530037],
        [320706289295400254,9945845980729037597,10769234546489849000,419873338814383689]
    ),
    AffinePoint::from_raw(
        [2674632338072214501,4181011933454113837,12475750468501971798,411589679378225068],
        [13349607725137488290,14881308768770345086,6297324171353975540,403643582579490456]
    ),
    AffinePoint::from_raw(
        [11401962172874849282,17051141962932683444,13594065756127385234,572177658105566533],
        [7839199067175957127,10899178254052001533,4611032228791648427,516442440272358721]
    ),
    AffinePoint::from_raw(
        [8785681952902764056,6070253398377631243,6854721315628192115,378936323364568969],
        [17501425155729648404,17197836089653965161,11784793999440301604,464942499786912992]
    ),
    AffinePoint::from_raw(
        [15047478677415609801,8307553192970957191,10717017617566211641,495164100649083088],
        [5944152760930442723,2188170747120093515,361855123589172304,342574419660215527]
    ),
    AffinePoint::from_raw(
        [544428015086324702,660360015958137135,9620214387793432986,268723336841898440],
        [9404512444551336542,1327667032254992172,6308125814019388803,325627583384387826]
    ),
    AffinePoint::from_raw(
        [4331278662030857202,5888617976448858004,10232727346676154049,310955301772523189],
        [11710316993023800001,4404564362130017934,4979275253136173580,441235175974259049]
    ),
    AffinePoint::from_raw(
        [2607800423766298895,6077037461769538292,16907914854178131416,365939707296772759],
        [4257857814722362622,12403840903128822554,1315835419568540691,281444128362157141]
    ),
    AffinePoint::from_raw(
        [8583959172557064408,11974434974156569748,14640873413578154075,522164204072538246],
        [9230643939455939003,16057611882762476398,14674599457667998812,525907091462619266]
    ),
    AffinePoint::from_raw(
        [2363615405216948966,18229659193209803193,1869349997038636959,546330831859549184],
        [10544500297128615229,9329490715161239781,13067982460595928790,553730290767960878]
    ),
    AffinePoint::from_raw(
        [12663787329852227856,923430531819535865,5951596140112086937,267647991427448038],
        [9508515759320261357,4865422348693558731,16641556746484884717,547949195648291423]
    ),
    AffinePoint::from_raw(
        [18325185680038989065,5818490570131115951,6464990268323843117,430873268925945499],
        [1347350871658541477,2342201558838722929,11205453903541235739,121385914995560350]
    ),
    AffinePoint::from_raw(
        [15870749706620627480,14568712167780793503,7757245975219823316,224233246805397644],
        [12885030449438463441,13148174169896333463,16044121857079665851,108158796917174043]
    ),
    AffinePoint::from_raw(
        [6624106059698360709,16862740051204538688,7470780634088780359,56086142585143203],
        [3040801271991798302,5720857894086011481,10040404036072408007,280774197315816745]
    ),
    AffinePoint::from_raw(
        [16834802750772144539,12739563884180945829,7877868295496313793,530264204430535856],
        [5836859857112423234,531111099278545859,6450584493408986546,555601849142549871]
    ),
    AffinePoint::from_raw(
        [5361537351100547209,16190473419889505280,17822289173032702693,551823506162178660],
        [9041656008325417129,2499525175544668197,9796918213996331243,56793117180956436]
    ),
    AffinePoint::from_raw(
        [18311142370466795297,11390530599087741604,16814843998168505528,26106408057399145],
        [13398620793730127154,17126324074001314504,4203771215878247966,141082315326632252]
    ),
    AffinePoint::from_raw(
        [18041966835778370381,1751926968972899634,2042686484035854708,112606183322710778],
        [8175136111831924048,10440963425033375582,13850813616887314065,19065876723519116]
    ),
    AffinePoint::from_raw(
        [3558453670202641649,4689600701838308197,6889514597001183264,262690306751734532],
        [17243455294211857944,16403830794284600921,3584954631919262453,50798932686356738]
    ),
    AffinePoint::from_raw(
        [108083719437818674,10432708142842935989,11604957084409911040,152605328372239420],
        [8439785093440789209,8377809217146135272,2761169342818380657,283399713727460745]
    ),
    AffinePoint::from_raw(
        [6359441986159306911,16751424277610979085,10551422316043792438,240189764262386914],
        [395368696155218645,10157592404704245318,1313407842867748956,470995893788264308]
    ),
    AffinePoint::from_raw(
        [17613670321856694719,18157397015627773058,10777825736386385162,573113604923679116],
        [12911519437440225187,7767827301492221188,7174597037585072518,540503829232073669]
    ),
    AffinePoint::from_raw(
        [17973653897429676451,15274223160086075823,427450690148143963,129809942697321044],
        [8617035324573537723,9128293874232803193,2300225214180043433,179398948668803801]
    ),
    AffinePoint::from_raw(
        [12832075301607400348,11856196566565469041,4274302964996450549,61678113161796897],
        [18033682508876462924,470600314748982736,61325110835012727,215789520617232932]
    ),
    AffinePoint::from_raw(
        [1011233091009518303,10365589929808729333,8778543620128952186,365646225806652602],
        [9323200768473330489,17396112227868039413,10676413822024939065,158481100225528207]
    ),
    AffinePoint::from_raw(
        [2189918889604969102,5325798560372113428,7578864789715502515,297033318734022533],
        [15759164234289791960,14557343946585924223,17375188260143255621,250610120006786865]
    ),
    AffinePoint::from_raw(
        [7839866653897220631,15498733480014307068,13221061069908426141,225663957658760366],
        [9302438904434248250,10856600968438139933,16150738027374086178,115813477715522252]
    ),
    AffinePoint::from_raw(
        [10330163368158209834,5260190016066640405,6515646616173338069,390275890485996194],
        [3604662486202134331,8698790340050216476,12723195795414854608,102832987227524896]
    ),
    AffinePoint::from_raw(
        [3233725264934531146,10214648182003439289,16006371546044290035,62645621055337727],
        [2994518008283633469,6469392311277062007,6919043313950315725,146604337919232668]
    ),
    AffinePoint::from_raw(
        [8766963273531308075,1076101547256203775,2417463339125426269,92264876264804629],
        [73783273985457392,10802686045686859584,4037817052830797544,393140694511092475]
    ),
    AffinePoint::from_raw(
        [13821763661112733360,16688861766204079654,9529118490068403257,31808477108430646],
        [12054476780581333857,12069350607856008452,17927659564696716914,421536223763338893]
    ),
    AffinePoint::from_raw(
        [8712731081867894816,9339460821323387403,13129063774833645442,115491982462825629],
        [9494221056422650390,9047201220012080871,4548903419009219270,262230296851646621]
    ),
    AffinePoint::from_raw(
        [8378319403291057398,17090926016379554655,9527272590946334345,332195703263479981],
        [17453308220175455563,251627509903416682,93948652724579170,271835237954100193]
    ),
    AffinePoint::from_raw(
        [13222389482740096031,69108002239188444,7979684555526101493,313232122036419271],
        [11241933616897705932,16919162488991716940,2550063743225903021,303350986389647262]
    ),
    AffinePoint::from_raw(
        [2375676755995607460,9224411110231394670,17187044863314270232,17531709539220442],
        [16210773798244227493,13063306790834169459,13311587671781939733,288094553674194106]
    ),
    AffinePoint::from_raw(
        [2973181997293594819,1874095638421848552,8510399075174373644,24010371938820576],
        [15306171067010889501,14218251232946621545,17938296698443057768,488982218484015260]
    ),
    AffinePoint::from_raw(
        [13714385240021183246,1919278858592834540,9970384114108297874,256813941263405089],
        [7124793541431041351,4603592926710387187,6500833652313686345,218372943378229559]
    ),
    AffinePoint::from_raw(
        [16189405584065545585,8547464777467203157,16923502994664684878,45693714275773243],
        [1532317295265471129,7389218077950841494,7251078939972754762,431723249179402305]
    ),
    AffinePoint::from_raw(
        [12886855953341255768,15336233668802478786,2336954166673292851,141869926451558792],
        [17422612771445774131,2847263427896044841,4610462286829635429,120575558633910158]
    ),
    AffinePoint::from_raw(
        [8068936900850605669,8081955436235788235,8830022483154763117,38571796356648498],
        [11419189294836464858,9696109651574036006,10772292598419349285,148790719793159904]
    ),
    AffinePoint::from_raw(
        [6048836007285970140,17986890849405617935,294805615715425706,468372129280984244],
        [15436661914263738899,2352047594042402702,16473846191283336103,315933448248259068]
    ),
    AffinePoint::from_raw(
        [4371980727266857925,13822422993842297449,3269666758189070245,111674045092615878],
        [5440608235986280146,1435303759610695639,13023399263682052402,339206374072825831]
    ),
    AffinePoint::from_raw(
        [6676942135303650997,12928781381163948192,7967285955797209977,476651788902458289],
        [13602134572305397122,4556259261288295948,5017270560692422899,368899957108421617]
    ),
    AffinePoint::from_raw(
        [14826844870561669509,1177126854196567539,11248112314679706036,344505701734482645],
        [5639130759542271456,5664497913339927009,12754714687592771344,20362586660855594]
    ),
    AffinePoint::from_raw(
        [17422985156207670476,14223508015551186795,5504679003604267760,259037975329951336],
        [12132016129430219641,6802896329685554218,15979428535476592421,269530658695321760]
    ),
    AffinePoint::from_raw(
        [10696267787657451359,13458630966808332823,1156756972679937821,479375401483517653],
        [15265996630604917151,13451412836098095203,8922489480287803090,362052912413037641]
    ),
    AffinePoint::from_raw(
        [12262660049146227946,12592135698512856490,276428738802859712,312788140017625343],
        [7302677678970207019,15568274117073201186,13710813106947139347,469535811035575627]
    ),
    AffinePoint::from_raw(
        [13696869950509640567,14455268395568656527,4416465318464730436,395006664873600819],
        [10629867855672809541,1203570796691095023,18112187853120635474,154525060202694992]
    ),
    AffinePoint::from_raw(
        [6692930787090241606,8168158476182981839,1905206696633457820,69637130992047024],
        [338685442976715588,4980102118717313371,9979577675822219487,307494288332733848]
    ),
    AffinePoint::from_raw(
        [17585431983628406145,11461882046490049313,3416033184092390324,424958264327379089],
        [8796692926567822606,18156472980892297878,12256060236773694637,199520666411980151]
    ),
    AffinePoint::from_raw(
        [3217538130643837806,4399827240185985644,3480526746811712486,284650852104818500],
        [6608893788960540439,993983890206933293,7193700724400711668,201822343701172262]
    ),
    AffinePoint::from_raw(
        [16193764683045533852,17756601400354385595,2839569883974050605,535502062952501745],
        [15722606712562234136,3385890864867284801,3709575262969592354,519723761615284434]
    ),
    AffinePoint::from_raw(
        [3158779919460198712,15457129621831523321,10098987546652237087,25035183051085921],
        [7162309387371412567,7072305447250554603,1566106551011116438,388264538362936831]
    ),
    AffinePoint::from_raw(
        [7183430382943780685,3110584103941994749,13138872833957671843,414482378796222776],
        [11056661731623399430,14777333339299368711,7868509168332020578,442738185281917588]
    ),
    AffinePoint::from_raw(
        [16250738692528649337,5800377403346810488,858085734150725493,290120028292725402],
        [12933489469496736932,10308024910678270375,12144890621329336364,540509606551790607]
    ),
    AffinePoint::from_raw(
        [10260036902357453010,495131961291087947,17775822623928354922,481882092651858363],
        [11403332621748102703,13572279554402016801,4134200533047721334,143406962559306949]
    ),
    AffinePoint::from_raw(
        [6238094159739379515,4590375861865895378,14311214809218710379,510039397654623100],
        [6256557403492651945,1097591945580915192,3930666327436295075,196564258341313452]
    ),
    AffinePoint::from_raw(
        [15090776870188033290,2517729480316785400,9849616071409692321,119283371425714512],
        [8487256290408932117,10457218525029210824,11717745992108033551,550678198722744117]
    ),
    AffinePoint::from_raw(
        [875832424495552101,11717595649379071217,10969215493744013777,555026236014581068],
        [12101006371076458102,8703500263542504529,5594149939051691363,27169350565956385]
    ),
    AffinePoint::from_raw(
        [14651746361094056022,869701414592108471,10788231752134263399,79614671376820945],
        [4277638315638908131,548332854172634539,2328099526638078008,233575049759464578]
    ),
    AffinePoint::from_raw(
        [16300602949021985529,8659522235234004532,17179138431045170384,366027555352126657],
        [6360790594336814825,12043454253791730789,4783037901129964971,133761137576891828]
    ),
    AffinePoint::from_raw(
        [14026203458170924945,12683681485758449640,922997949639599717,232648747365301332],
        [10159942098718113508,12330020765502832918,6524805281680541792,554073452918311392]
    ),
    AffinePoint::from_raw(
        [13097620745404184392,11081252618376294263,2148232508056875783,298125483367854249],
        [3846143199029411326,17307065924394934013,15035509072152066132,137222012026129010]
    ),
    AffinePoint::from_raw(
        [1318036057111172842,15793074300635737960,16619729735568289174,487696773354559502],
        [2320622232513178972,10651392558006644910,6506344621048061708,4901305130408496]
    ),
    AffinePoint::from_raw(
        [10479835153531861580,5523413280033044608,8827817363212634729,392766576732777226],
        [12771242402363532837,10506099952386603161,10736230806666739043,409435920584656183]
    ),
    AffinePoint::from_raw(
        [9771694181949300464,13526402814924630351,6379027414282580103,191691184233514502],
        [8235806405166839122,2622953727759829675,1810062472801360894,55775787984674318]
    ),
    AffinePoint::from_raw(
        [2043827749061185651,6399805721021011240,6749395206578663640,276111944316073636],
        [2284016648211740923,11760445001008550251,194604331361144355,13214535496661325]
    ),
    AffinePoint::from_raw(
        [12090669213697664261,6679863034033852525,7755941016887328311,537826841642943898],
        [11728874956648509824,7814671333519082242,18166492836327096594,154461710120345585]
    ),
    AffinePoint::from_raw(
        [5434843208136353013,16820444420899615836,12255797468978585521,344478388521803385],
        [17863121319485344845,5115209322363159956,10433841497689063612,183818282535299519]
    ),
    AffinePoint::from_raw(
        [17393734527065774078,7219586068229697283,10065620131083589496,505573957568206969],
        [12504403534167207777,242223211152202162,5353557085874275501,307112718001978698]
    ),
    AffinePoint::from_raw(
        [16018877842321067228,53860487445346058,5494923417381214093,31156055489633667],
        [12120281769700126452,993006765504261739,2471648450466438334,290048065574929736]
    ),
    AffinePoint::from_raw(
        [16303487275320501986,12098839014561707775,4544699992470899520,485607725766790027],
        [10204991189790871196,18099091316761591683,4344542052963228622,402088026938742233]
    ),
    AffinePoint::from_raw(
        [15027586338028048652,2981195289226313036,14939908740810387849,303477207549663528],
        [4335291098158506163,13521367201428685972,8428958946178966199,415141110809964079]
    ),
    AffinePoint::from_raw(
        [10648665451041115230,16020279121554737592,6512683835953065546,254980278577763452],
        [7222429595131932353,9647477957329834972,4539745884117229475,74036983097764208]
    ),
    AffinePoint::from_raw(
        [15635617898242544183,1442952811212999756,10423017346869744752,336309658927691843],
        [14246240516733366403,13209303363114909582,9571155672780631726,73066616308836105]
    ),
    AffinePoint::from_raw(
        [15980625381716271485,1584638698762233030,15937411465504077584,165129607113328606],
        [6289183743305414169,8060147385133475927,1100240293794802992,402055302507130316]
    ),
    AffinePoint::from_raw(
        [6119306032363659209,8013208608050991413,16414876332268508918,66173973374438883],
        [14491734555899405055,5624449703769895067,14421572272381947436,532598612890174257]
    ),
    AffinePoint::from_raw(
        [13572181478689505993,310489126662886708,13183724939947901335,561912445244633612],
        [17751155576501397653,17506031093286121728,7080842807605829696,358555962606627547]
    ),
    AffinePoint::from_raw(
        [494456477874379153,8472619430113322417,7623811436104520091,181153681219998329],
        [3568383661620708124,6511845682471185515,12127427550883437084,160833346333620502]
    ),
    AffinePoint::from_raw(
        [13704447775322977928,1620206939246391277,13750211313971244898,237233663667626066],
        [15275771095033959413,7951274824536745089,8808467146827086296,339302486117680026]
    ),
    AffinePoint::from_raw(
        [12219325435606689687,3487405794343894992,3569376908052107188,498713393726423231],
        [5578026771229626307,1161954464781040693,11174101248776969833,167360707905412158]
    ),
    AffinePoint::from_raw(
        [2804113983465515334,10496234553369817443,8640323129757106809,562173384540878878],
        [16368058228555376051,7156030529363831583,10274301298101153545,46110711313362842]
    ),
    AffinePoint::from_raw(
        [17495884023200384822,7576520508677888907,16269903913949690568,68667241759181122],
        [767156653738378215,7787109964531292362,1768918769324178355,393614561732658667]
    ),
    AffinePoint::from_raw(
        [3966737705796921154,17271935466224776643,8008566637428579488,438895964074959046],
        [17150742538397959762,870012177249718754,14009552710237459112,432424646789963845]
    ),
    AffinePoint::from_raw(
        [13347615170727093809,7389104803941714635,15132915011547206825,182870810505325404],
        [561345121674027065,8756861944678916866,12222528630208442422,83616389965280618]
    ),
    AffinePoint::from_raw(
        [1349012013705433138,12231357628690387229,298644812672288552,493396817654848119],
        [13617041093830624718,1292531871019974781,12959211796742519197,461485957055240392]
    ),
    AffinePoint::from_raw(
        [841454369716053082,8984828163284570216,6493800109665122870,413349368511621498],
        [16205206753556421368,1692738098940665884,9486076849306839439,54658233571501931]
    ),
    AffinePoint::from_raw(
        [5136177218393798522,4113079391347417085,14855112388833256023,190019963979211228],
        [2414550832982468390,14512297396028360334,16815277293423856287,434539506166969304]
    ),
    AffinePoint::from_raw(
        [13556558316379511889,15432991751963503473,14068592067530342272,99737987951771798],
        [15342134574378459967,1448771930933215584,15599765019131474513,195506627068071448]
    ),
    AffinePoint::from_raw(
        [5220664243541874779,4887007057745162635,12326918454379609552,196270714802207118],
        [18312505126690799048,13850480704704462510,2444948883704568388,38870805465225469]
    ),
    AffinePoint::from_raw(
        [3786952560371373916,535025028331603809,10621034331006952111,445276432347688932],
        [6913237809350995657,12654733233058584916,7325265764262196178,451004348426613582]
    ),
    AffinePoint::from_raw(
        [1919722536029039131,3978686532911948489,15312502967436087436,311275083846325842],
        [9629558392635569862,16852260451533414511,3523307262099581427,166336454035098170]
    ),
    AffinePoint::from_raw(
        [5313714350346589768,15653985961897737052,6028262444544928626,233008673760173637],
        [18091436279218288540,2973070999930747155,4589143690974637197,324100696893055379]
    ),
    AffinePoint::from_raw(
        [16510089098235236693,16214028486397934078,11442520808219617168,111553817467001351],
        [11495424608588107294,16262000876396749395,5026766599602432703,355221394428665002]
    ),
    AffinePoint::from_raw(
        [17290545409567178563,1160744668680441583,15629445639149426051,16664806501894636],
        [12016363441360371423,12122692961925825931,9128223338476632172,19885099914700582]
    ),
    AffinePoint::from_raw(
        [16392826603795834444,12479053932296590284,9883190409236006822,534173621335705018],
        [17917692136487407332,4482200877627867793,8434399646605233876,363033890392227304]
    ),
    AffinePoint::from_raw(
        [1653844669400535952,7879917701226448329,13187839418654634474,321366180652807460],
        [14414875758950865421,1294887186098264452,11190678744196566149,59661490466882393]
    ),
    AffinePoint::from_raw(
        [12416445894898387999,13802993363065677338,9687608015790269028,276305265767408098],
        [6330368193117406633,2948070077902116810,10837710810208013289,396827449288676977]
    ),
    AffinePoint::from_raw(
        [10915169250285352812,9126107219043336533,4428246655243801698,435807153311418828],
        [11856656966988009242,3930062788139482745,5405749219668615104,45599871741971787]
    ),
    AffinePoint::from_raw(
        [7120214258946225464,15233612455262215550,4097560618342307077,220052063512787716],
        [10077911063239364852,16454079145650287153,3208014100164562913,147767232255721508]
    ),
    AffinePoint::from_raw(
        [16081264197261357981,17432737758170166684,7109297205719963566,200064762638027312],
        [14069454890754681679,8124192349458165757,10023006453033847340,473661193076222259]
    ),
    AffinePoint::from_raw(
        [6230733715812531769,2405957838558683714,8433696010935952150,394656916628782185],
        [14821968349653340647,8300146217480185205,18402948540851609838,204964760636511130]
    ),
    AffinePoint::from_raw(
        [14699582281751888409,9277435340557180707,17262329365445290399,73673516061357409],
        [11122523004831742805,5343980888944449591,8418145427807650991,468959316195384600]
    ),
    AffinePoint::from_raw(
        [5331322455692970490,7919208353031625093,16636446111897763339,548395742077388131],
        [13551815368018727704,4168334934563211099,14866329524127500360,174716824780199296]
    ),
    AffinePoint::from_raw(
        [8969865286442748152,11438012996446513575,10371417326946265382,463292370137269894],
        [16141080405965108607,12302245818108930146,6604066568516939343,268270769953578485]
    ),
    AffinePoint::from_raw(
        [13399265210157469239,2606708030322385147,2374717033067533688,154621960078616867],
        [7632891665663785578,13528602380610237246,17527183697130510577,526952980909996713]
    ),
    AffinePoint::from_raw(
        [8539760397280693055,8703875767277397598,9673843539133547115,406263007810303293],
        [1617540296888861824,17260751290370431943,3624623183561663546,290717495530652560]
    ),
    AffinePoint::from_raw(
        [1870030339778746036,2060826420000579221,16688319599524199936,352884887572367322],
        [16635352960461394505,12568121152492343151,3933815182574312210,137133452471513525]
    ),
    AffinePoint::from_raw(
        [1370018866993187542,328838437108905933,8062562204812107452,370128885019962008],
        [15252511130098477650,7432184327799668346,9580747276004060390,447935971178173570]
    ),
    AffinePoint::from_raw(
        [3297749500211118029,706468718530552094,12887213949918440302,311057121393032983],
        [17323529513188407733,2447527944124397741,339384866798360576,534018042204806776]
    ),
    AffinePoint::from_raw(
        [13385736568641311366,16879414960909594456,11756568791634296176,158987230118827553],
        [4014348284068537717,4947572368005994956,10912958467818960618,222271299559265469]
    ),
    AffinePoint::from_raw(
        [4996853743417989382,6493631407469539211,15924045259998457777,317006150475543280],
        [8382586989786631823,8103470469017112124,17176074246303099167,213956082017140740]
    ),
    AffinePoint::from_raw(
        [17192890373523916037,6631895390674499429,17121970606738209872,454437769967460219],
        [1497390045158504816,3947254944829943552,17399127703846877941,304823490793882486]
    ),
    AffinePoint::from_raw(
        [15994298732146427996,6080759564449394126,10266481890125198763,103144642327435929],
        [14862929160298877646,13280163694807490118,4385207347344506033,472211216610803698]
    ),
    AffinePoint::from_raw(
        [10625511926714452033,11462358035796964279,10627402785313616957,239166717177066890],
        [16934566002132069284,17560462520914972274,7018462967256744563,242428097861061292]
    ),
    AffinePoint::from_raw(
        [15242053403427811270,11891532831495247533,110476640687457306,254952089957398350],
        [772264131638625640,17299092548631637391,17950478250468591728,401935019975335781]
    ),
    AffinePoint::from_raw(
        [12333425862790205545,14881140932469165890,14874714230563115018,85722150126696791],
        [13706293314436566759,15575873934587293450,3946806705364503917,468978115494327774]
    ),
    AffinePoint::from_raw(
        [18092844438825728511,1839107546395690282,17791360312475821642,181529727065655985],
        [14635859543911865199,2446014925249911471,6618373026297233754,132089999903033252]
    ),
    AffinePoint::from_raw(
        [18178746990633132302,7184702531391261803,1414202517000513066,258084641607456401],
        [8694072483300353793,10018677497825824636,8522650941483183621,334128784713744800]
    ),
    AffinePoint::from_raw(
        [17968495705461263255,8383306670579289795,8314683039733483290,188116016412106349],
        [16805477706713737432,10070566789017078076,10316338780543588461,334757596826100182]
    ),
    AffinePoint::from_raw(
        [7228117315326045093,9466035298640047429,3669515013062175158,374804333049564461],
        [16109427921329728838,16640253944287223866,15957158215929363279,420183259518336965]
    ),
    AffinePoint::from_raw(
        [18289808788249764757,17492032375177317683,7466811830919659044,50039440947604947],
        [7856345381727844548,11889001166626966989,8634762595961729036,385036504619388658]
    ),
    AffinePoint::from_raw(
        [9674830359906552844,6627282420701951868,3546083902701551857,79720436609503110],
        [1663731163717185712,16031516751008917864,8874069577868963974,491531534316647554]
    ),
    AffinePoint::from_raw(
        [14194816607941733407,7235034690320086127,192670214162213137,575773671025724021],
        [744658307859326799,4100049107465565044,15177210252924822826,496041771497037271]
    ),
    AffinePoint::from_raw(
        [7675227927128214966,2210516163980701053,10155482362661012759,184827454384043851],
        [4775110774729942458,14137443154615289109,16654018778099398125,101818629421768842]
    ),
    AffinePoint::from_raw(
        [6942588986767935807,15936142419862685005,3411247986931564165,6198244819235904],
        [12903985483255265345,4310020352655716682,8479513634253704369,495266547834532612]
    ),
    AffinePoint::from_raw(
        [12298207086726396867,8521845572185797800,11545234739718613725,140862800964301188],
        [10024577699968807954,7686589503172816313,14861105674511977694,30670750363938930]
    ),
    AffinePoint::from_raw(
        [6859565003841996461,9101020947165408970,10612656723738208216,441182243955901958],
        [18193013358998954434,8785742046713246815,4958568834065966662,268113632527450027]
    ),
    AffinePoint::from_raw(
        [8931856614261097689,463593501802545266,6775483870192739841,267811814263829990],
        [57587500374831509,3917837217918904289,15415604507164997942,518543483155352421]
    ),
    AffinePoint::from_raw(
        [10144510536328423053,122716295073685130,7086462853166708668,146068282993610881],
        [6454259311847755106,4240551759533526578,15932204547916475768,63639462007915119]
    ),
    AffinePoint::from_raw(
        [15739012279082279940,10428759488665614847,16609569390567804988,127572461387594262],
        [16608389176826445608,10759881413004152798,2494075693294231239,133974324448481035]
    ),
    AffinePoint::from_raw(
        [583357946488133644,533572767519225579,2918343983660249459,338802352479613020],
        [7084596295534635602,6429761973104350137,12446618786842481941,106282474500166568]
    ),
    AffinePoint::from_raw(
        [17250033166610311161,859693020204950405,3519095669076234929,394430182708414089],
        [18255065532503007062,18232780029062044387,11301274361621308661,398121159301745900]
    ),
    AffinePoint::from_raw(
        [793495536793488051,14646865415362949951,8199943460093735399,144961537989578995],
        [18294246062120892151,11641681405497804441,10631563618987743722,436897760516856000]
    ),
    AffinePoint::from_raw(
        [6586421690665440768,5252544049087369618,9196351533950502753,544723108233497058],
        [10466912741894415974,16895156974429349106,15210599459431432198,296837899591250829]
    ),
    AffinePoint::from_raw(
        [14305457108645855078,9211018577040675004,3906347133350205616,17629205487976519],
        [5323884703762303733,7037691631553837784,3400991868906736253,384765280238207812]
    ),
    AffinePoint::from_raw(
        [17406284363247450283,5865591389412199868,17164800827705153526,562721311356888021],
        [5836329632321597649,12874015555476550857,7732106833402469533,532970680274778028]
    ),
    AffinePoint::from_raw(
        [7208999087865876051,3878657050842296893,6604547912110660750,169882259874364063],
        [5968349373383103189,4109330530707423863,9584950871145276838,119287814832770474]
    ),
    AffinePoint::from_raw(
        [7673020779282104865,2375568127750390831,13987643464667311362,147492933348214043],
        [2149957720276246724,12891339704918183596,9254825787882796791,449247259189116988]
    ),
    AffinePoint::from_raw(
        [13609222582232984749,142191351186539676,17202141608933019949,543811829505473179],
        [16433971910558906340,271327512796192290,11499470501779854564,224073447736659022]
    ),
    AffinePoint::from_raw(
        [18230513880496775802,12085906786442993092,17963282393276901954,524438448766433946],
        [11990518948661188268,15895029077155315208,17780306341782905236,127787116130764805]
    ),
    AffinePoint::from_raw(
        [4890254626563470202,5205851419321535636,16913227024599403824,134613108493913070],
        [5350381272875587022,14148475317842289693,3166597018090600716,491446702578188925]
    ),
    AffinePoint::from_raw(
        [10362829050123942736,15241620539367300230,16553819541461852498,359872406094441350],
        [16007182088062257450,15620123940724578988,4482369293144592372,402738832591349694]
    ),
    AffinePoint::from_raw(
        [6096113080336913795,2658521518787985604,5240354183568264754,521929430903576730],
        [16789506659045928505,6925848449538187802,9480487800028191332,149082740034700226]
    ),
    AffinePoint::from_raw(
        [16720903161017913575,1052097443952434062,9254799525215431053,96694286621230817],
        [13017725322528991607,7878183778560928175,6199862729410951910,111718242751479157]
    ),
    AffinePoint::from_raw(
        [3853207094600375286,14593352847186400018,16577726156301321780,37447989257138518],
        [9282808323650286130,5975421628948408998,6231830623925202919,160222446420549095]
    ),
    AffinePoint::from_raw(
        [3274827173643729811,14005838737438001677,2568816778660264136,50944278738292216],
        [6036570145269566508,14071968144283873962,1904798623656133359,419233847250477543]
    ),
    AffinePoint::from_raw(
        [14939924318082991277,4026120896143973702,10126023723424564495,309399876339654170],
        [8855066100276578845,16339650504463703078,11558232603561721942,387862484586331335]
    ),
    AffinePoint::from_raw(
        [16972567225707043267,7593328196621670042,4859170483617909640,286929965254221818],
        [15561641210828522089,8082714758224993591,10680471255250842305,484580083259288384]
    ),
    AffinePoint::from_raw(
        [3789051608449391365,5740157336325612221,5178750335198366848,197880162546274558],
        [14145314054727971908,3574825238351739136,421716533949998433,107738096977006843]
    ),
    AffinePoint::from_raw(
        [13841253359838847711,3611895949247756194,1220898464929913667,257196179666374995],
        [16955988581050284423,2174618464013918204,11185926668725196982,179701028228825297]
    ),
    AffinePoint::from_raw(
        [13512034674939628662,1811388313419402583,12596549736140020048,445870689782134335],
        [15099311140058694143,488151239371385006,5914772316172820061,180071688008685185]
    ),
    AffinePoint::from_raw(
        [17147108400188597598,2126772433139200599,11626502446341268712,117749072186139007],
        [371794909968450306,7066291253268088135,10576678599221078082,384135478735458696]
    ),
    AffinePoint::from_raw(
        [10806095775692137792,11469320500810347732,8357227734030736898,352851202536110298],
        [16022479065257289999,16834495930053463892,1451312046458384271,91372257364634138]
    ),
    AffinePoint::from_raw(
        [15676846987832516699,10091831307974402331,14464990053727653910,267951245686047608],
        [1889425144753446899,4250880031858661239,256180526097413917,60384210536749195]
    ),
    AffinePoint::from_raw(
        [15831661311832030120,1782937808903004773,2771342769854049604,218007043780523697],
        [2417122647697498859,10008677391209639509,4422303571086417188,305104318227077193]
    ),
    AffinePoint::from_raw(
        [6805105772027753058,11012915375889259426,13702641210345724192,412050154515081322],
        [16310506995747137520,9434662972693259406,7158205327228339134,348558008257475670]
    ),
    AffinePoint::from_raw(
        [5527616011327779991,9639332126444070293,11662390558161688989,551572809112356236],
        [11276186675598836081,6222928477254869959,10869422382934945394,358971022118440238]
    ),
    AffinePoint::from_raw(
        [9995435126306301463,16249150752317344731,9750249365891157485,407481906711108215],
        [12212242624519706663,7915908232052460769,3367780340072166403,22484698039475598]
    ),
    AffinePoint::from_raw(
        [7035267753334661723,4032479506166022614,7779014316252608820,168498558423121134],
        [6481531563874825662,1383726882328844403,568314395994163956,107967825914057267]
    ),
    AffinePoint::from_raw(
        [12462441260062043462,18095647314270831782,12517250253064952973,167335091291892909],
        [11673973293035940682,3898929414770267126,3998631948530986191,10982735310407286]
    ),
    AffinePoint::from_raw(
        [4985399744403403979,5005136361451427172,4763762384515475129,489788751030627859],
        [171307002067907400,7768705716055188232,11522205760750649558,377362459053060425]
    ),
    AffinePoint::from_raw(
        [6537996964629488583,11633431903293465963,9035069157485034439,475249082965689847],
        [8679782874162771197,4474938860897907060,10444645244386856869,532895885669186110]
    ),
    AffinePoint::from_raw(
        [5602246451528763138,5963659383402506696,17503024683589228385,16231058039151591],
        [697776291767799278,17287441604186699685,2344610756047382491,19651024973198157]
    ),
    AffinePoint::from_raw(
        [9299158687637667223,14355636013414885531,4680168433146986759,452243285198832294],
        [9033808541241148770,1706809710083941151,2562505465352213151,208285459234626775]
    ),
    AffinePoint::from_raw(
        [15077432030727143389,11598035040626378106,2795040381556593229,162868823905291738],
        [6633243027798689424,5367112553741484886,14019425614515135682,546187452914035806]
    ),
    AffinePoint::from_raw(
        [3882733223305183373,4373132675463659033,9381727661045138572,535807606142637632],
        [5055816557773719782,525726898539839320,13522293802081562184,505785445156278047]
    ),
    AffinePoint::from_raw(
        [6256703482817768254,3921993717518002902,18086533297923520966,21921244401257362],
        [11233522143689084186,13134680445396362819,8955514443731889458,340361581647539271]
    ),
    AffinePoint::from_raw(
        [1056397476809078861,17470883770266148148,2488040924897026965,275352154385996930],
        [1423640600414616739,16264673153924007693,9398157768383672804,53354511232923458]
    ),
    AffinePoint::from_raw(
        [8888933799119147964,9210244149821393632,8447534316985005172,83430245654646609],
        [2519660513538745564,18172935292153224032,15194203477344736593,334816365437671301]
    ),
    AffinePoint::from_raw(
        [17478338462396516270,16498358275795933361,8340503649961131076,241259692378744955],
        [4415591239140457037,3229853995984810585,285462707235510229,484437763470365100]
    ),
    AffinePoint::from_raw(
        [10077996668464538981,18131430250854629622,10321585427820956230,531650632047115466],
        [17574477325507445617,6144477031493999879,3216715110495244238,376931458625151887]
    ),
    AffinePoint::from_raw(
        [15151358450582938392,8253455304362813718,15623672356063493328,492921120087876744],
        [16292279020263990882,13273607283390333774,12365997663931691783,178517210958602475]
    ),
    AffinePoint::from_raw(
        [1454287113839002838,17315523939608191324,12095926078166571941,361755606776220735],
        [17267475192430492678,6829967912976937117,418644459539140365,358060003250136940]
    ),
    AffinePoint::from_raw(
        [13939250968129949021,17459764265652656924,3123557066850043845,318823701333864214],
        [6068820175865194744,12728131240436263366,3428314520097029642,366074695021539829]
    ),
    AffinePoint::from_raw(
        [3091763927771853450,853714516430242670,17484943824830262020,536350078584463148],
        [6438042258053470904,2866994258509933306,854623303000468528,184109035342607348]
    ),
    AffinePoint::from_raw(
        [12315654950238907150,7568561760342255688,12719881988027026282,330230410596303589],
        [13376754319167809109,2829756159847456872,6670034186854707471,423874715013808586]
    ),
    AffinePoint::from_raw(
        [4320232791616113364,7208625571404078272,16266522178733669,38256465388696079],
        [11072823811402635972,1385362959726403175,10460724624777047930,403598646015129205]
    ),
    AffinePoint::from_raw(
        [11794210832077465539,5591883974568918906,3669904025679618625,183490135639237475],
        [8946680613316025820,286248352723640966,1987950723333049307,486922675790414638]
    ),
    AffinePoint::from_raw(
        [17143118855794211402,12393211931163768624,12779142544959455553,570842390009773185],
        [13731414134550407862,960012431468821890,4314615023990181615,562094875541411466]
    ),
    AffinePoint::from_raw(
        [232927233721283896,15549242933499961563,12386041976451579547,101601675962342960],
        [7146500375092458383,8151675525716202942,13353829814616807732,64424898966335375]
    ),
    AffinePoint::from_raw(
        [14260995766090036349,8844909687518730960,13516209590587938521,490559807177109363],
        [7084862918693619822,1468344436601719850,82689306465126918,386599021604764689]
    ),
    AffinePoint::from_raw(
        [16127237270037940244,11467924737446419297,15530968284751533666,311727439252364001],
        [7936343882813075826,1148436247787633520,5551495369768312164,407665480153056396]
    ),
    AffinePoint::from_raw(
        [6913206341759683507,9173740829610671468,15537155135567028391,56217238710990798],
        [14792247978803888059,5297608628982484794,16574421102939451448,48309379425370736]
    ),
    AffinePoint::from_raw(
        [15461470617588902850,13863866696114011582,9797738849670670830,471391354595256213],
        [5978208002211518697,9279109443977547730,7950914098288647834,276201277335215969]
    ),
    AffinePoint::from_raw(
        [830663043186311082,7428713209105100872,4650884645298321578,451798910876645675],
        [17452483175478851348,10655011232573026171,10288260109055137894,501317970345823188]
    ),
    AffinePoint::from_raw(
        [8576727921313893930,525733410788886710,10294240394201502743,1654545187428696],
        [16492224675885301117,15811631232873627114,3956611100093508257,90628284851307509]
    ),
    AffinePoint::from_raw(
        [3582506796360814882,8428967950436755761,6888400534542072416,561233389679236346],
        [16846205841934168240,3854702251464445980,4348075994310007797,70204669534355532]
    ),
    AffinePoint::from_raw(
        [3717633161793604768,4863184006234259837,7733956549096770840,571244068458813494],
        [6306502778048684533,16455522419258752717,16586711355373411357,233867258220631472]
    ),
    AffinePoint::from_raw(
        [18041353993709652576,11390644554589057142,13875194991791552836,230517409502646448],
        [9076778197031867861,16238470641825279233,2226818880349138031,358245905499146476]
    ),
    AffinePoint::from_raw(
        [4535097086719203211,1825559196461515071,5195978720737231739,229547826994541597],
        [11539925430952873298,17806626465930900121,17123866301825658778,147588461321387382]
    ),
    AffinePoint::from_raw(
        [15488356867616821388,14913528199801302853,2773919801029782142,567828742911293774],
        [2402786904735779848,3413916712951538165,12573563703402773916,401504060510616823]
    ),
    AffinePoint::from_raw(
        [2466847719456647318,11196096404053255589,9193813310809520844,307089359408737399],
        [5547750791341694750,16185936378573956596,7924118112519957550,89389543305191661]
    ),
    AffinePoint::from_raw(
        [13343336613925073654,16390245937303069051,1222892645816184264,17268774731878019],
        [14045998758520115494,15301108207730441375,5652337960367887747,359279020109124400]
    ),
    AffinePoint::from_raw(
        [4498790867877647339,16798611679481810588,11817611752888412385,222345010574812002],
        [6827644257423831796,14217591268071302759,11494558687510361345,391585975998750909]
    ),
    AffinePoint::from_raw(
        [13360010423633727751,10969736873798669114,17124836248536587712,452944694751923489],
        [11555597370608153236,14693334291953406374,13165464171853578380,5634971953771361]
    ),
    AffinePoint::from_raw(
        [11951476433256656205,12694879353452699221,16268529224473130509,465321476081147761],
        [4695216024920126512,14304824152026729704,12758444246824624812,503565729420430465]
    ),
    AffinePoint::from_raw(
        [1274685952485942628,11463160581021146394,581896502415903774,193130049018725299],
        [781029742375997057,2281728494507520361,16666473607281885386,372600046446824900]
    ),
    AffinePoint::from_raw(
        [6915583226539173950,18197620776233744258,13140494429778367668,254280765016272745],
        [4967986641851603292,8942091337875313633,9726873481562218354,97454039436725706]
    ),
    AffinePoint::from_raw(
        [2387540681833222082,17533557884219992093,9148203265308206331,117905842975618713],
        [17135672898716453758,2779460760802345018,14940560366256952975,348390286687670456]
    ),
    AffinePoint::from_raw(
        [2585123167326700490,15376233956008763078,10540641866762664196,532817676857940476],
        [17343112291503439261,15259278032925213191,12252828602373170480,154814391961139092]
    ),
    AffinePoint::from_raw(
        [2919572280424885338,14746599569439637635,3963399096591464141,242430523788086862],
        [16120782502654437316,15572103993967415802,12777278612012932849,411672710293336487]
    ),
    AffinePoint::from_raw(
        [5654236091554479414,15174239569152793868,5039647319566867232,142839041207871051],
        [18153119977092381551,983722340040305128,8770876993096961199,484202913476836690]
    ),
    AffinePoint::from_raw(
        [16055714468149572438,1208968592913729547,7869091179726406117,232481040462839641],
        [12462482405318814261,15839207828388840683,12306513990056341248,88280329721533503]
    ),
    AffinePoint::from_raw(
        [16245015933246078415,18116119062542748728,243667703094679714,23865213406601682],
        [7122609340039763598,7344693316424105635,9236894262742251917,323401502387087447]
    ),
    AffinePoint::from_raw(
        [9066827760186720605,13472468331133066561,1726852126776575181,32390145797788017],
        [1305997662565500175,332292820780672894,13186213898408771942,453122417124262861]
    ),
    AffinePoint::from_raw(
        [1947013958793491333,6668901473030631889,13118496706968767132,238748921161919436],
        [6901410920224693174,16654119854628048563,9390859845369127920,570726570008985772]
    ),
    AffinePoint::from_raw(
        [18073499576935237771,16800396554803387956,7344878709708521688,574785286030569518],
        [7749187597265630615,2920745403615092748,10143054098163372137,256137974042340283]
    ),
    AffinePoint::from_raw(
        [13011028441741087360,18384244034998297979,5900837403057672593,450961383284293894],
        [10018061245679654149,8767688410066490963,1409543904092549647,442826984404561918]
    ),
    AffinePoint::from_raw(
        [3083112556572480600,3177070073863919843,2720992788789256787,154776666383985119],
        [17276414048383728855,1035426439652150638,6047073359536843741,268131036829716754]
    ),
    AffinePoint::from_raw(
        [4927324289720413819,4040022112192273441,11858541439284238414,346029334930535972],
        [6916690136204921724,12250172507535199558,8837420935503109145,568137565295969251]
    ),
    AffinePoint::from_raw(
        [6471737524917018505,11077988452795838524,14662316151927431848,218701735450261104],
        [2049907794542447142,14150565219188911865,16985270456794314460,474245178759064567]
    ),
    AffinePoint::from_raw(
        [17872732719204076942,13525581824199063059,11076984965272638353,361052279101917712],
        [12618578844297679240,15368877852039986066,3351120301809603598,235892603593675193]
    ),
    AffinePoint::from_raw(
        [7948326529365039618,10199107915490740206,9784362210539466478,469301667179830535],
        [4412653660270302332,18338335967616924604,18038201707327900913,519059862004806781]
    ),
    AffinePoint::from_raw(
        [11051853548415540401,4125755011491178620,10852342225599023151,15044640011703064],
        [5009267202902030510,13356432995031343128,2628690250831726097,137370280145802071]
    ),
    AffinePoint::from_raw(
        [16633037292693734768,17011543681454408107,4721091317286925533,200475831445882287],
        [11435753632969605718,14206778790788003259,2482737593732192050,574864502661471950]
    ),
    AffinePoint::from_raw(
        [7966122928761384890,9587468549784777652,2895351050413544391,503461675518316156],
        [890843865969607274,7207450454933779781,9641699727503797313,20244565728850298]
    ),
    AffinePoint::from_raw(
        [6434248264392920601,12658807968748682345,3073067821435167061,343974960479849209],
        [5204821005698873731,17475832411400629834,12631368563785846815,112588097556461424]
    ),
    AffinePoint::from_raw(
        [7216346301620905862,5417913324104070811,15896273218310486263,190248238226439225],
        [15310561962914609056,7683732342861102148,2632186513261716429,189754210859438565]
    ),
    AffinePoint::from_raw(
        [15228525756325771325,1558588464900343420,9211875126334109589,549367260747603810],
        [1965559983352661521,16052822500797932955,7808573128498583015,13929474065896837]
    ),
    AffinePoint::from_raw(
        [6874337389203693188,6133810577207564106,13097084433773741069,493650174748500026],
        [2903469832657076083,9343821459988918110,13447565809970997608,28325950148068351]
    ),
    AffinePoint::from_raw(
        [14191638411201258114,9696261371067870807,9405052101825340653,275431246077252777],
        [16094808972964983542,10153223827702727088,3402758857231864872,255661352061530650]
    ),
    AffinePoint::from_raw(
        [10420599948662750973,2287449702778159039,16047612909492670069,549998318691184643],
        [5196129276923371020,5412253356073704242,635590435244409418,287244950657175688]
    ),
    AffinePoint::from_raw(
        [6481760229178906246,11520602555109748486,9445761155801370426,539928151807756197],
        [13862680447918374049,12942462812430066812,18047756035277615695,458327036644931085]
    ),
    AffinePoint::from_raw(
        [3071040455301242928,13932797931437040239,1230892490290383925,561675421051772143],
        [12218238306578287319,3880274942641550461,10658053190571158654,569648116698394454]
    ),
    AffinePoint::from_raw(
        [4932028960559162150,16622206279115521529,13560326575627078720,1660466925231059],
        [3004155801234196525,4536742696097743101,6167197882044486680,477202620391280211]
    ),
    AffinePoint::from_raw(
        [3451737680898906919,1620586395656561334,13096629216241932174,550325103876006758],
        [10493659700010288995,8876250120121588111,5115190129657051463,437767395637761989]
    ),
    AffinePoint::from_raw(
        [1274822853511715111,11166281610044547887,17524534675190621929,490132648472796421],
        [10911361390687398493,3171994753674641462,13660254870311395294,493238679926237561]
    ),
    AffinePoint::from_raw(
        [4130414448672482920,11946240269005975588,6883670297454612543,306419402071451658],
        [15543251372778544864,8402468519717246581,333983386473354566,465143453738796245]
    ),
    AffinePoint::from_raw(
        [10905778114271349770,10698320742540250613,6341715194082458134,111965416600752688],
        [8979281738574206717,7693611937102507697,18286685341600345553,542613521137412730]
    ),
    AffinePoint::from_raw(
        [18110784274454591072,8996193897882176869,16755441602453741691,278030715408215541],
        [13446449128971528074,13407825903529448154,6565814541337221914,420502021944611848]
    ),
    AffinePoint::from_raw(
        [17085161610472053465,9405377108936162249,12264838872036643674,90916921075735731],
        [2239749078073959177,10535902493504143070,17488071686342843106,453395026473534540]
    ),
    AffinePoint::from_raw(
        [11581005333819609560,15954991815259059150,15190592522580980149,483672708383999469],
        [14796745587028308357,1547624918279772919,286008091548204560,476540106615774146]
    ),
    AffinePoint::from_raw(
        [4883193647285414597,11941671093293192639,16227284002359107696,186587551181047375],
        [8176798657536577641,17609347022358623809,6630080922294995456,212461805560259123]
    ),
    AffinePoint::from_raw(
        [12736576300679265243,9146813176347901288,5917413570990573090,461734063187278816],
        [9386200581398885202,3724577143956713186,3952370730160139183,523358641960173872]
    ),
    AffinePoint::from_raw(
        [12689990458887854370,12759686889864883207,621307737548683762,161529970937186842],
        [4628966560371129077,15532911545113250416,17748939648309030489,23922863831806689]
    ),
    AffinePoint::from_raw(
        [4154349044990154615,11857079774539222063,3296807243157453974,91008069798587755],
        [10269705503756328960,6041655291797326449,10390846184362579289,196753734548975002]
    ),
    AffinePoint::from_raw(
        [317160722660658672,162227190671195532,7620328760743564933,525659505481554094],
        [16648586643533768607,1227679293630994995,800522496098914150,574707662385831566]
    ),
    AffinePoint::from_raw(
        [15801701577195138110,5551745698444907477,10123427082982815980,344280218109921491],
        [2137976180758880869,10367227987534128743,16533293481325920200,365339394962854313]
    ),
    AffinePoint::from_raw(
        [8361712607706356104,12196978231254533777,15361469069170162698,173001721201100248],
        [6789919032647392664,5585605666547460395,3468385111517569722,204655323291732697]
    ),
    AffinePoint::from_raw(
        [3229055015455870292,10493741860934358730,17790920431596829580,547558117557950655],
        [6454820217964978863,13618158078695790752,7779609047745727799,161347902005134110]
    ),
    AffinePoint::from_raw(
        [849502543495128796,9811754517322778895,9153408594518956106,253125856677100026],
        [7770684534161647847,345452129522992376,4460368549117370176,489975624312293948]
    ),
    AffinePoint::from_raw(
        [1623317702637422927,9610487533410789545,11673778410769700550,296698556309622133],
        [14490331791903624606,10995826556301778835,10583263385651261539,243405315422127343]
    ),
    AffinePoint::from_raw(
        [2895279437642421063,2087026180228614591,13308193283633116963,394487852341139413],
        [17725644261428121798,12653807136160389022,13253218163216932804,523188407976217687]
    ),
    AffinePoint::from_raw(
        [9172318234145568964,15017467524460524465,16273555361161751656,457151429417293267],
        [14421641123263641170,1852941340477814831,3980427214769830764,7203874416936383]
    ),
    AffinePoint::from_raw(
        [16053032198824518422,6500060001363546037,15500530532608106325,256247886358291908],
        [14451643462666345972,11287963357175851573,7375088516684441058,532748892282523989]
    ),
    AffinePoint::from_raw(
        [18414712643455119193,8902967062231851444,4021572640571362337,539839175295107091],
        [13437204989271741651,6003465725841526050,5036112440528775041,454774511311574706]
    ),
    AffinePoint::from_raw(
        [5833312033192104920,3394868067969790845,6019871605612180571,303716342216083608],
        [6140389585422078923,13222670081484719323,11707013600463935866,301780151899719002]
    ),
    AffinePoint::from_raw(
        [11902571410743372026,12474049309934506753,11268366663446976999,395848891426411841],
        [11084252391270953854,9492166144719238609,18261237722079128040,371293255385151069]
    ),
    AffinePoint::from_raw(
        [9049352127939441978,7519750750252094273,5328291668250738276,484294566420377612],
        [16455025776620064305,1974818662659603623,8377692143495352819,158893720981237392]
    ),
    AffinePoint::from_raw(
        [2585913456952772470,12095804898089283560,14149681878156407675,158100091656003980],
        [749081227782873726,1672104563538346698,13184912805345421090,7130595562897650]
    ),
    AffinePoint::from_raw(
        [7964875891404001387,17904475082595360307,9725189779368269108,267562424019450090],
        [15824757299163662964,4796340830110821832,2196384251435018503,239616705566573964]
    ),
    AffinePoint::from_raw(
        [11800716580136877749,12863388429487814925,5046578168991102682,283335369987711348],
        [8724500391639616597,18217403093637091034,987735027015203455,295567703391911359]
    ),
    AffinePoint::from_raw(
        [17548536208340159769,5212768464589503343,15754345246965299705,538050196178470415],
        [11721477403861310765,2523847603395342669,9547034419668516506,75626253379085055]
    ),
    AffinePoint::from_raw(
        [14657979593557764153,14719700594643778765,10199100460054375495,18650193762188629],
        [4667653693580464792,5985782328347285498,14929471754373154963,308335750194507341]
    ),
    AffinePoint::from_raw(
        [1279311790035890982,3820336427099717546,12140690929087864756,526441900293144612],
        [15861497069747588832,11324066029928183893,4788298308766726961,420001201666752203]
    ),
    AffinePoint::from_raw(
        [8364489542083659263,18136269192027526615,13842703340028810944,291079207886226687],
        [11443817163186031750,5948856413721564677,17054016798311812408,303067671112374408]
    ),
    AffinePoint::from_raw(
        [7724882964586508349,18186276217922604615,2949215834825639135,550410911213923555],
        [2646030064567194836,5486072232717823978,13507742657739901851,9350075176254674]
    ),
    AffinePoint::from_raw(
        [231457098181851173,9221173081601160706,13702967188454647205,232845842090896517],
        [10542767669314765128,17357012941590569895,16926630944080420437,296452465411660862]
    ),
    AffinePoint::from_raw(
        [5954252725929389913,14811547690074091580,11502673433349027924,156404645164181175],
        [1489475671674632547,18171716910884751168,11269265372297759956,335881700670676105]
    ),
    AffinePoint::from_raw(
        [12488837113435485166,16563666678210919117,8971484718313469775,480132832906751440],
        [3950601829451237529,1490889248778502608,3428829194700175618,575875529591406114]
    ),
    AffinePoint::from_raw(
        [15843746302090361809,3477164868652377712,12527189504671736067,462389476442997480],
        [10009079702581191709,2492652540206533621,4860537262419281855,478040358763486002]
    ),
    AffinePoint::from_raw(
        [11205298889172652627,10751375519551944098,6498312493016630397,294684634521592093],
        [13638460259416851641,11178431761816584448,6732013461327949261,435362696907202236]
    ),
    AffinePoint::from_raw(
        [13343966015120640115,18417322986447217019,13877406000728566694,331355884474277114],
        [2965986014717339085,14383148531091064515,1844718081505092351,138912243110450609]
    ),
    AffinePoint::from_raw(
        [9863293257076623835,14814405999337664354,9126654875414724319,66662140968374860],
        [16985236157029883571,15803467544684160165,534882725770122708,535430301793921308]
    ),
    AffinePoint::from_raw(
        [12017140839508214117,12853540841057234551,15403125118480287535,245052165139416922],
        [17021518578087660527,10649476310717289330,8373612604875192330,303889238698971278]
    ),
    AffinePoint::from_raw(
        [13236981577627496259,16081517109128315151,2783726682791102331,131129063227071815],
        [6386119969054631716,16611911745614444194,18210886665731119311,488043345987348997]
    ),
    AffinePoint::from_raw(
        [7686628769206949084,9761633602528441871,629892530460891973,56084612467227442],
        [2608236850260445119,11076085029015276271,12591308068824954910,91017238329488717]
    ),
    AffinePoint::from_raw(
        [13926707568601404955,4385757453001486269,853366651422456616,182906887232723979],
        [17663817010899971906,17465345338118838186,9720153074584163665,533408194899688077]
    ),
    AffinePoint::from_raw(
        [10415549068088127662,17929515034592999010,4768580919345526987,264976284840206024],
        [18227237852398073528,15425521293054097393,7551190555040880671,67867921264432431]
    ),
    AffinePoint::from_raw(
        [6399555112815744054,16697273804652463365,17752237171827589076,151023126058659682],
        [15844468720343995109,1578687550795057141,2092507532189979555,66768439399369949]
    ),
    AffinePoint::from_raw(
        [7548032954293802374,13641427898192754002,4585952203533405760,135840175817808611],
        [8861936152834942171,10962056898641398653,16232478536111473486,207357969182295247]
    ),
    AffinePoint::from_raw(
        [6054142227592638035,1392745946864434541,4973177210168226889,227167973141433765],
        [18241476772110204272,6342459274404786064,14224379942044463059,302911323530533862]
    ),
    AffinePoint::from_raw(
        [2413992714806396798,12994442906551526832,7777672440159101240,99373068097644040],
        [2162765291980814293,7530070270877478124,13157341832375016212,148368310207601208]
    ),
    AffinePoint::from_raw(
        [11492408347587879534,14561603534273014406,3333637418545856626,306380694334653698],
        [369346747959150435,2564887766434923952,10003844044319867734,37940873223649131]
    ),
    AffinePoint::from_raw(
        [11063815224087296174,12025209790240797993,1042194021900517987,349715989676503119],
        [10580611069635217453,1331350473138757018,7200508016723265059,428601826763642247]
    ),
    AffinePoint::from_raw(
        [14814337535971390413,1916218962126852470,254821235735560521,64909063931044937],
        [10804684969100490139,17518427504817126151,376546630398032790,358975324009055199]
    ),
    AffinePoint::from_raw(
        [9069257952786817763,14937769708117207941,2520008394685835899,378941035459607971],
        [4521053733665938433,11128686449089319685,7586568612555326008,12249569907959928]
    ),
    AffinePoint::from_raw(
        [17063498682199121532,14335957680203883450,15781984984038657356,214941607614703089],
        [14214137594137638974,16582872941460709574,17848023591794328113,249121145962158014]
    ),
    AffinePoint::from_raw(
        [8201518040907443185,12573088852066617092,454834452381760502,375160173701009725],
        [3852855023294097652,17334015772458465425,9291813290848973282,150105199279255542]
    ),
    AffinePoint::from_raw(
        [761696737379883988,7934896691269668131,14694474034991483512,247667219892237832],
        [1013095215891245239,3726000729509248342,3343294196486665276,542891232124456663]
    ),
    AffinePoint::from_raw(
        [6556568042582035574,5102897004501269264,10262250217561114342,289005687072602977],
        [9547314822419247045,2968830682726417217,609287980579289790,298156592699156761]
    ),
    AffinePoint::from_raw(
        [4271778120014742796,13399444892120845854,5001444953090699679,115794970068878285],
        [12670400866723870437,6573194981521272550,4366237257885897460,412094418611889634]
    ),
    AffinePoint::from_raw(
        [5834109220131234422,17620600513655629381,1064767720397404962,361734729104431833],
        [5987357673382483795,9364226326153035692,6326860748028831975,25278712692525194]
    ),
    AffinePoint::from_raw(
        [6154168877607093269,17954448719817806637,6048050544907097704,253631389350883209],
        [15896844485033435265,10238330678283031799,3081470865474609725,338548476851149376]
    ),
    AffinePoint::from_raw(
        [9754688867756183286,16018631807997168387,16808588438036581843,9388376027383704],
        [4498575749310688907,17801882826263891213,18061742826157904686,413378343178613682]
    ),
    AffinePoint::from_raw(
        [18131847548660043559,9892342930562099667,2855465187115790007,391663256802881599],
        [1116796014166854040,15000916024070071198,15920705654988672797,330094854783191094]
    ),
    AffinePoint::from_raw(
        [11646569364845279494,2572345065740823997,3851244956453876252,47182761842375080],
        [15556136427027684214,16795158129192778495,18255471761928406582,532864279847546374]
    ),
    AffinePoint::from_raw(
        [18167814277764120712,11300770813053014366,6918164135550808388,60957594530631123],
        [18282142790100144995,13721316605462691055,8550426821522464095,136272596838872894]
    ),
    AffinePoint::from_raw(
        [615649142581108116,17402465347886446861,3032761085908998154,119967756883134007],
        [12575052923676820158,3128968739594512886,277805856227428869,491823462218414697]
    ),
    AffinePoint::from_raw(
        [14727450989121184195,9635941859848934783,5810972912065491845,402769705066704480],
        [5697195690788918343,571054147606549919,5776854692602346719,203457769148421024]
    ),
    AffinePoint::from_raw(
        [17438587928209501781,605838613095744446,5140066889978756956,203952334443453621],
        [12375404051682451189,8783691270719980079,17222893222490448553,156665216364948136]
    ),
    AffinePoint::from_raw(
        [174345382126418313,8821882940847945453,208862663505444566,344575435648163208],
        [1366647031795654481,5837164234668397538,9545458141456375018,71197505668248398]
    ),
    AffinePoint::from_raw(
        [13607232358182384417,13574867808975681176,6847789006897479255,462917244878529191],
        [1955803546929639264,3366080241280410474,4191391658916665800,290923416794902890]
    ),
    AffinePoint::from_raw(
        [11117520810785463554,4454843059651157800,3933882458981473969,467223010702121369],
        [8741248797895906622,9743964857996148228,2380972703387102339,315115525590990509]
    ),
    AffinePoint::from_raw(
        [16408928874828365818,12234973292619856615,11314965707131750957,528840403155587985],
        [10400096527504454665,4826183744381011057,420537108603584099,124382339108123483]
    ),
    AffinePoint::from_raw(
        [12270248607846050453,5910629647483608983,118419074389970534,236641397747446349],
        [12220524454541175441,9600525255129094768,13343467943259563255,230964427523905855]
    ),
    AffinePoint::from_raw(
        [9153094813931285362,9013609212830953624,10739142979181216674,305074810411267924],
        [17620411509128559894,14013355958216389742,15304850497303926696,542465406524855794]
    ),
    AffinePoint::from_raw(
        [12020160757150023085,17822752115693256024,14899294070722352310,38832530327421736],
        [3428512795959550628,8044148203986547670,1029179593094026994,367461323383431001]
    ),
    AffinePoint::from_raw(
        [5394163418975332538,4099237621196445667,6299764258694393585,236303255002962912],
        [5120597985006492225,7315039705923676910,11211308776478756238,13422846085664780]
    ),
    AffinePoint::from_raw(
        [6928697157251260130,16480172065110631843,2787622903126205545,530686896183002497],
        [11248098707303826046,7436610681800355563,5757997976881199269,30663551038342620]
    ),
    AffinePoint::from_raw(
        [18346819123725471975,8059436111768029855,17908842044643958679,142724019589964388],
        [11231634931592027524,11310875883542535966,16031460660826404239,150697640568172636]
    ),
    AffinePoint::from_raw(
        [14720734496260287551,17661050507914703143,5029669388524267525,126714992958653368],
        [5344334915748241666,4495689977712666521,1994500564025564928,241511125285592002]
    ),
    AffinePoint::from_raw(
        [12358262517591651608,15554357629099776240,6668750313125143589,57001719932083113],
        [18203550351403296089,16830170113559708327,12519246405560352756,536202037465851710]
    ),
    AffinePoint::from_raw(
        [7265886473786130373,8990887976200326386,9842138047553624539,298709468227344671],
        [7891645193933672674,12335134043555814488,16129361330233235853,127321514571198200]
    ),
    AffinePoint::from_raw(
        [9384128066781809955,1160703246637100631,10660361338611629061,153488070023129292],
        [2846312482588778577,8410671615852735494,17042176237797906977,480657597898083000]
    ),
    AffinePoint::from_raw(
        [3362088185649160746,3492488627594879304,6837778776480645204,215928561074572386],
        [17249998940368754065,15385026168833105158,15956168361920278675,72759646036699595]
    ),
    AffinePoint::from_raw(
        [7873033989397923268,2143146104557303909,16265395645589427134,115956205612412760],
        [918693254180141401,16401748797735253868,11783577729096592864,190658206988805395]
    ),
    AffinePoint::from_raw(
        [3279666205380490004,4737200511089360108,12724204700352683420,42298355661789025],
        [1257034853642408667,6172867911666487042,13466845615711398389,439127036527354095]
    ),
    AffinePoint::from_raw(
        [11514723181758023302,12772109096304702888,6879809304192877985,191831776358432866],
        [16074844561675737665,1272960004500291805,9980665949561621714,388479487770250330]
    ),
    AffinePoint::from_raw(
        [2665359794449225518,2624902467378212807,16614417816281044454,308523922491573785],
        [17741832140849073180,13501404467779202690,11021183717371201529,248404326642252602]
    ),
    AffinePoint::from_raw(
        [8689121019237690447,7605787940329490105,13529799952839269586,96636771071234404],
        [16421286137378655651,2454926610711528922,12258327937241541283,432677439774349226]
    ),
    AffinePoint::from_raw(
        [12963366820586051711,2114210207430044846,16788647562771328723,406073917408489898],
        [17559798523658816739,4858960583396479549,9111983503343892683,274944876153519338]
    ),
    AffinePoint::from_raw(
        [18266161521439251737,12381297719450732792,17703790552647984859,457937931821659307],
        [11620215592946783994,11817172173386376820,7421094170057345751,517990764520026132]
    ),
    AffinePoint::from_raw(
        [6469401180319931383,6494472018764615728,8363819805338671931,217137517264833479],
        [12250498251603584373,2674549332948354018,3043286384263684010,473935285591288856]
    ),
    AffinePoint::from_raw(
        [10619301173457997423,1408896416742694149,12821679599464706919,285544277007872967],
        [12024101521141648828,16363292092476165361,11575646236993249444,99642070821838188]
    ),
    AffinePoint::from_raw(
        [7965148463322503805,16081875879907077896,7716174335431575611,169042632060952253],
        [3912753003829724405,11861125367557575146,14599839123386901785,476945355038201088]
    ),
    AffinePoint::from_raw(
        [1285893531459082468,6444870402998071092,1917935590899747839,503051344195980827],
        [5103877881402054663,2257688976540989757,14567761274955089491,458882623534955249]
    ),
    AffinePoint::from_raw(
        [6155384898005651532,11554552134749665285,15139055487080001446,123233547972603214],
        [16122925054925734115,13445732778178544929,3212634634007638641,40165182113512379]
    ),
    AffinePoint::from_raw(
        [15352114716637399334,10621432459305689024,14911482618347011853,442711268236686990],
        [11638330734131148165,10201374166534987527,11274399866359298163,573602845317070521]
    ),
    AffinePoint::from_raw(
        [9972412756673967716,12071143229404750293,16087388423140634291,286496761588140674],
        [16381041268297906348,16152969759476683062,7769134997388012311,148527450370385038]
    ),
    AffinePoint::from_raw(
        [12170074262189202875,14044028477000593732,17658120051886952223,137889901523381027],
        [5033438134312718132,16982360669006944439,11435995884934245726,77546564522227008]
    ),
    AffinePoint::from_raw(
        [6330615567355190104,14543323925943112892,17385153302681438538,412967548990897307],
        [16682729090933089762,14231000649166707929,16665044279620663410,126880995659164651]
    ),
    AffinePoint::from_raw(
        [16188480527222441154,6110385497687753651,380139053996274964,92721301941155141],
        [1566386899494090013,884927972888342963,17836345993548736892,392663097577768107]
    ),
    AffinePoint::from_raw(
        [896413670719535941,5539373512843792744,2924749777407080781,491836541128209818],
        [6360795523180493797,1555359154373467894,18119352292024608530,453712857560294423]
    ),
    AffinePoint::from_raw(
        [11931986289902368409,12437456769177266666,8918771149024557211,445864406031304899],
        [17508946348894641036,17765877251261038302,18070985169157452106,97776910294079054]
    ),
    AffinePoint::from_raw(
        [2028064001163040172,4918821098705933916,11014268346435952371,137926530686447225],
        [1954152753854293672,14820016651014732735,16671931969674282079,20947668567294273]
    ),
    AffinePoint::from_raw(
        [1480320220863821836,5698337026409106483,8270321567458530588,561999340967516402],
        [17062451032528049967,1502123638226545953,6639702681215803326,230919093644096557]
    ),
    AffinePoint::from_raw(
        [3916584007101348543,11641555551147842406,17589733389738204786,160300457266341030],
        [15015146587155986002,13636845822250217652,11679216815002032848,443430802015295702]
    ),
    AffinePoint::from_raw(
        [9359806346784563932,16822849321888685611,2457065811196708447,204314080495523756],
        [7916786677871665020,1243533074886109655,96908581770196495,199364316383857528]
    ),
    AffinePoint::from_raw(
        [323899728394953640,9037875316199690599,991775904881331314,307733653697050925],
        [11559209443089575790,15066441375234118439,3531374053527065418,154051096959922324]
    ),
    AffinePoint::from_raw(
        [16197153171534359805,11739132036108644647,14915680887533370732,256520238505953142],
        [10196899895900828065,849812416121890540,5770960379432023965,268084070167505532]
    ),
    AffinePoint::from_raw(
        [16306727838668730785,433114286378637643,12756524117670042277,208990447688772413],
        [9130169464339137024,13483354171579408065,721204806537266235,350653662394448955]
    ),
    AffinePoint::from_raw(
        [3403535265585010606,13590240605129625293,6005478648938899515,153281723799043690],
        [2414654920786859566,8858203047455490107,11941592782767658639,269963387157136187]
    ),
    AffinePoint::from_raw(
        [7528476894497856900,6619748141124016903,4547386530592151671,292805280525320812],
        [14551774529864840711,2504683788005233755,13375072011442871237,320550401166111885]
    ),
    AffinePoint::from_raw(
        [6604103896182882474,5292714844384805357,4806290614886955469,160694463277836444],
        [8812590391308739785,1702848621825806444,12731769675947357064,150247737471781496]
    ),
    AffinePoint::from_raw(
        [4275200810030430215,10791901189877880135,3959568096650646182,61927916555756730],
        [1892084893215725907,2521374968166077638,1818972225794445695,480981614039034538]
    ),
    AffinePoint::from_raw(
        [6846713462113532625,3952879032475670871,18250291143020885777,125786431602868648],
        [17477715423302439368,11301167448977869452,10948533579667635615,470459750861229950]
    ),
    AffinePoint::from_raw(
        [5894410907400985475,15655082188650827291,7222844239629172592,217538840321336316],
        [12716349910569830232,5583201882003207074,10814918397983706654,160224479568820497]
    ),
    AffinePoint::from_raw(
        [9998175658699176070,2693044393529114328,3384636033798606466,530755562622331303],
        [11372843442617411798,4093386427910732027,9002665228329819320,95807598127461711]
    ),
    AffinePoint::from_raw(
        [7673972906173354618,857845217909940206,5208210629389577550,351115617227079836],
        [10221625205905832838,14899550941279398624,10399231983731815573,28579073026385676]
    ),
    AffinePoint::from_raw(
        [7197838527008114475,12764166564953153536,15847363133969159547,440106725707654929],
        [17531450093536472302,17183498559689682997,529707305614042900,369819166157984788]
    ),
    AffinePoint::from_raw(
        [312181229956978805,11740849070317778836,3233724605884234081,504666460639068716],
        [5037419443472231820,11531766916450878683,5714216827697495803,43134947283674406]
    ),
    AffinePoint::from_raw(
        [7189912917350681037,16092878830425290707,6060181691847268713,273326133937222116],
        [14260791556968032410,12017562257036055795,8447488631936504548,325610504816519647]
    ),
    AffinePoint::from_raw(
        [3773963621885013170,5875060513969078625,5548358894511371191,312518200987948218],
        [4872147105573330937,10728017180931131079,5005796375320236796,380463662329164020]
    ),
    AffinePoint::from_raw(
        [10149130346097777304,2283649553740762047,2779364039202628290,154040834826838089],
        [2988990778700568184,12443529217741867845,13785940766902375435,409680727241411583]
    ),
    AffinePoint::from_raw(
        [1490087495758138120,14309966772993364530,8492556772041483049,476358244950694890],
        [15389054638952582103,17636650162983636605,17469779891897192298,23535368137764913]
    ),
    AffinePoint::from_raw(
        [14401779575691328686,10139362589751682479,12471413449171994012,81046948123441134],
        [16034139622153998465,2533482435229868402,8087168778312308530,137226653788395688]
    ),
    AffinePoint::from_raw(
        [7844786091668551389,1044235388305897418,16909008507796381005,196001113364599999],
        [6578541857924976633,12607069045414314183,14732790028957977161,170836308348959675]
    ),
    AffinePoint::from_raw(
        [7956740377368223022,6487020227961461892,13985484723019696955,59879698792749901],
        [5708844106915211963,8785561881774486966,14708285961950024059,280134902887178552]
    ),
    AffinePoint::from_raw(
        [7023203973361959712,6152932354324280884,3349154515639608180,396012485086086296],
        [10094720817802101936,1412815102971445826,1922103906078955130,383226048112661287]
    ),
    AffinePoint::from_raw(
        [15058342621137911145,10010932648285650943,10875464790545065775,347403866505654456],
        [16359605989226222663,97202817609608811,2109109330557168659,251076655565793311]
    ),
    AffinePoint::from_raw(
        [15038724195090263352,11998528725516688609,4197051484741027820,453212452569847427],
        [14949729039307975330,10924069850604232385,15233983954429455941,319943058284151336]
    ),
    AffinePoint::from_raw(
        [10079293047793347893,2652017199178060142,11306995612665271163,411001320579979009],
        [4479001464913704161,1270669992970810463,9869244019757787187,253816416385203367]
    ),
    AffinePoint::from_raw(
        [7575445224150264776,16508031513923006607,8032196182115573392,178190260617505511],
        [7156647213844826064,2835857306749726748,9878410188498680907,257074277755057565]
    ),
    AffinePoint::from_raw(
        [872681158428951354,3336675683519896848,6321148692086166038,80839860499394448],
        [12578431425615472471,15920150636980193155,13541984653245994949,9233260021662163]
    ),
    AffinePoint::from_raw(
        [17400567031146781432,10822638308127401560,9268518175304050403,419954123712990831],
        [16083050045693223583,8809567839763642483,1089164704895704109,384645312463089066]
    ),
    AffinePoint::from_raw(
        [1172612197885990862,96194998101814308,12102282232009728629,312174969968832454],
        [9327173934155207857,15258587062149597021,665285089406172626,451429702233434141]
    ),
    AffinePoint::from_raw(
        [13960755832027933510,15832995365320942405,1605889632779682583,558532627511463206],
        [11340489539537632385,6388916971320997036,8179579848477003095,334724983407966497]
    ),
    AffinePoint::from_raw(
        [8414241127863210433,7765863881062528722,15177495723019857191,519875139124435893],
        [11211973361763547835,8775471527283956647,10086954980971136314,389045298652380691]
    ),
    AffinePoint::from_raw(
        [11970793863111720356,5819328454389421389,14249817934159735174,267524341210523068],
        [14365306914502967285,6100744282545119095,1130038964739254365,150948578357743037]
    ),
    AffinePoint::from_raw(
        [5076349589463631112,14949702536744763373,3605500172853177841,488716473924152014],
        [14114668980970533394,13012068996649241378,5931384027464481855,90196694508994564]
    ),
    AffinePoint::from_raw(
        [4953469484072048378,5630522708875049246,13431774753754024956,509427232415871428],
        [805878010004871764,3208015445469124414,16233223400874529524,150121142152813244]
    ),
    AffinePoint::from_raw(
        [16742815560808595344,14108194913971626852,7387698610073406517,10868635082758402],
        [17807280683978326701,7073565927432604592,8008925479080376487,462583598714933317]
    ),
    AffinePoint::from_raw(
        [261096824711097615,13747136439075120052,11456649198908678679,30045602370095412],
        [17479632212478073265,543629752328482184,2025413942380848064,48628573438911057]
    ),
    AffinePoint::from_raw(
        [5190160932741214308,3120831677683884434,2111316701930420523,508595106839297008],
        [7453828100717039280,1655429350256891604,5895376790232251383,23136066763622896]
    ),
    AffinePoint::from_raw(
        [6965419003674236010,15151633273610480386,13245943044693829048,107475093280165162],
        [3622564253499693230,7062920251146527852,11174366232191959174,574638542419178469]
    ),
    AffinePoint::from_raw(
        [14075422263258501,1950779089938632145,15829939133030299924,23899832526571297],
        [6734211526347413653,939249741518394037,17318389593634706577,22550693368382349]
    ),
    AffinePoint::from_raw(
        [1709504249289401470,15368607381404978948,757607094784755877,347727093197956790],
        [4229089761429205786,3091403124909326935,3675310663333566673,400890026271014642]
    ),
    AffinePoint::from_raw(
        [11601055502434084264,16351065953537559009,51693676337470220,565028682911294238],
        [11659846622614222310,16332470247592134263,10967295452534146590,381208950050097290]
    ),
    AffinePoint::from_raw(
        [8097864006063212072,7001319363180154664,1117680472769432836,19518119833156627],
        [2991555462505784568,9849790214837946195,420184525263777402,186385876301836693]
    ),
    AffinePoint::from_raw(
        [17183259051381629983,9326989877903287254,14008229189894553067,251023016660179726],
        [17361670945350418502,2857003796796935566,6083670940986466475,53860678923324180]
    ),
    AffinePoint::from_raw(
        [8592277749308600656,9745503354148442684,7242539475904191626,306180555237719147],
        [10306449457102525557,1773928889374274218,16568234461016079711,422290569653054295]
    ),
    AffinePoint::from_raw(
        [16722222105561502529,8545656001959578493,18317518862398801846,281478165467125935],
        [9379447025809998354,7095814615777843904,2505936086669040002,262972139668684264]
    ),
    AffinePoint::from_raw(
        [1647139949310274242,18356583154704034145,7485006423650320283,428318936436418418],
        [781830826305665021,2679205028151776278,5219886384351472390,556977092064065977]
    ),
    AffinePoint::from_raw(
        [18117879418041564880,16465008183698564891,2594181564044460697,574577609920447273],
        [12368944549821416811,4072444133007159842,9675990716362073570,27062583855572976]
    ),
    AffinePoint::from_raw(
        [2344840958595376944,12619931694656450712,9473734691739100809,292043324677139207],
        [8455510219194255090,17635023634493393109,1476661265338747218,3528423632609304]
    ),
    AffinePoint::from_raw(
        [17397247279821608826,6263176476544149680,9551643161743040174,281620439678857711],
        [5865106647335942502,9303257760477731732,9012451341232819101,182321478676422559]
    ),
    AffinePoint::from_raw(
        [17293894811128735073,7058781810750313765,11774383908271756507,224309517814582742],
        [8430456967420292150,390889357059310170,18258307162140116798,326543688846504854]
    ),
    AffinePoint::from_raw(
        [9453355971147834644,11766227072329153403,14465767266957170638,284192771156905157],
        [3814662695775084944,17841816673419594288,8317704739955333402,537616283361821317]
    ),
    AffinePoint::from_raw(
        [8449303892658227960,10972859239457180202,11920551089262753778,418509332246274378],
        [3287781342439945360,13498863051804818294,7303475826997970811,546566856483899297]
    ),
    AffinePoint::from_raw(
        [13312842728507390589,4655628926681944362,13109946480474415364,32407873881473280],
        [1076971486185152352,10868031553247855525,5738691628612614180,343939706148654213]
    ),
    AffinePoint::from_raw(
        [4944524277766197844,17171257843540881442,9463752012158944071,27295805042499033],
        [9148347050578105694,11176786015413516626,18303734805753138725,271878059651937454]
    ),
    AffinePoint::from_raw(
        [7277943382384694989,9152613018966828325,8507227794599405874,14987244884596613],
        [3969263590800204315,8495175015350153098,18154022366755682562,174511941283106064]
    ),
    AffinePoint::from_raw(
        [978376383392678917,16293863779903965039,18356751860918189801,388170604293662334],
        [9851136817620522983,3020182292870434663,13025265743611503948,443793089244124380]
    ),
    AffinePoint::from_raw(
        [16545298605852245605,11298489859724846252,4732185467745589825,503664474930556410],
        [11141359341437757767,13585697631620196887,9693609061671206576,39452467541516308]
    ),
    AffinePoint::from_raw(
        [58478253000926848,13028253477873813627,15044334684180536032,400468787473113014],
        [10808288445494182232,2116839861512003165,12824852963268136328,371396854440661855]
    ),
    AffinePoint::from_raw(
        [15351642423458341208,1184654417247349029,5168301202427290420,280794327839119785],
        [4838177945569664510,9233891258991575174,5935346353674410882,329227482145062672]
    ),
    AffinePoint::from_raw(
        [10071381219949065838,12197747730753789335,7801727571236636145,511021290679646335],
        [9086018142699096115,3640002379129592408,4809536791326500462,11159016535360439]
    ),
    AffinePoint::from_raw(
        [1129511179968760472,9429127851482048886,618112118792256103,290123773680347594],
        [1088917157592887854,4835799552022805466,2467840013869836406,521721114102299279]
    ),
    AffinePoint::from_raw(
        [17450206624733694387,16824974838971327352,15790732711137757989,126678887841292306],
        [13144082469466150215,16537189012801712287,14587757320245679153,477946699160037925]
    ),
    AffinePoint::from_raw(
        [11312325410330114284,7620749247435868446,10127033340370697528,143767939718137986],
        [18295766979539210190,17479729345953550220,9055714033789381894,166188707158485646]
    ),
    AffinePoint::from_raw(
        [14227878680683314094,13117499927949970677,1729097151451223021,148910086413873946],
        [4700479712831901680,4418209199747477217,13876049224430276965,234218272633301014]
    ),
    AffinePoint::from_raw(
        [17514829049341316428,11290332184081590012,17813053720220093267,49472545906146351],
        [11335560726931488669,14144057195799116157,15183986723670519282,252455775591074402]
    ),
    AffinePoint::from_raw(
        [6115388451004950507,9931242809024361233,3574702151033922763,185509097268089650],
        [5076012232235426024,18292287866895209118,2813630212418743947,111729420563700218]
    ),
    AffinePoint::from_raw(
        [13883918016888356696,7949292966501706882,15385209519752456226,49615851521606081],
        [10035016663707769167,17721047302914776919,10557608813830605703,472999550005435977]
    ),
    AffinePoint::from_raw(
        [15716398583496674802,11365439041514853482,11852886627157586662,546568866578894219],
        [18446281303836618521,6656848445463018516,15360783090663637159,522111973998275787]
    ),
    AffinePoint::from_raw(
        [17825087767000872206,17090532841469995412,7855119029107280611,521667638505770276],
        [4282845962705322355,4070344377592283589,2418360342798072291,395851327036957167]
    ),
    AffinePoint::from_raw(
        [8224962332693287835,13635492649349310303,10094440574739317709,128598146311631537],
        [60489045896481912,5246064152355872900,1889981663700200446,313432679366931102]
    ),
    AffinePoint::from_raw(
        [7867585354477982352,8981729537184955491,15910892467944289031,518384232215606912],
        [5908476687070642618,790641548108014744,9206988004623912697,502872008381595799]
    ),
    AffinePoint::from_raw(
        [17718035836369637299,18435578676659527940,13379484058680844990,239287804944181981],
        [17602194310926973676,2083733471064826882,14312173691459395088,99411345103613694]
    ),
    AffinePoint::from_raw(
        [10275587764260865560,17440550716567167978,2631641310118964404,502983557461174601],
        [1258212215263417619,7739339947104885032,15155493665805531136,415998392441929238]
    ),
    AffinePoint::from_raw(
        [2554365914226082193,1184484268516857563,15928397366582879882,196377152927209890],
        [12137005925537130217,15364883211085187277,13167320420076578761,394881966001206405]
    ),
    AffinePoint::from_raw(
        [8167983928851382287,292233857079404801,9624461446020815900,36330423124634513],
        [2502988507683498802,656008426746982407,8569209295430430417,126507166129886160]
    ),
    AffinePoint::from_raw(
        [14367128195082504023,11653806453671496416,10545166538353918806,412581847707844175],
        [3931133064323605808,9937572980333409383,12808083587664547541,228072201670920796]
    ),
    AffinePoint::from_raw(
        [4357520485352960513,9560307290984256606,9359416896024926459,271426275065707276],
        [7508873609783367722,1207379502915317731,9249718516782936037,484438008156811370]
    ),
    AffinePoint::from_raw(
        [7203915020244790444,14670803879342886101,15587239599571034813,477675805363551214],
        [7439606905675105914,3564799560486593944,5430904143724194746,263679783569273354]
    )
];
